Source TeX:
\neq 0.