TeX source:

x-1\neq 0