TeX source:
a \neq 0