See [comparisons.not.equal.to].