$$x\neq~y$$ gives
note: \neg produces the logical negation, i.e. $$\neg~A$$ gives
» Math Notation Help