x ≠ x ¨ = x ¨ = x ¨