x ≠ x ´ = x ´ = x ´