TeX source:
-9 \neq 1