EvanED wrote:Elench wrote:Either ≠ or ¬= here.
Though now I'm not sure if ¬ is in ASCII...
Um, neither ≠ nor ¬ is ASCII. (Though ¬ is in Latin-1.)
Then I'm going to keep my vote of "Platypus" and take as my preferred option not(x = y), or better yet (not (= x y)).
All the other are ugly and/or confusing.