TeX source:

x\neq0