Source TeX:
a \neq 1