x ˇ ≠ x ˇ = x ˇ = x ˇ