@michiexile is there an ambiguity or inconsistency in the "not equal" notations, or are they just different ways of writing the same thing?