TeX source:

x \neq 1