TeX source:

x\not= y