TeX source:
\neq 0