TeX source:
x\neq~y