x ´ ≠ x ´ = x ´ = x ´