Source TeX:

x \neq 1