TeX source:

x \neq 0