TeX source:
x \neq a