x ¨ x ¨ = x ¨ = x ¨