TeX source:
-9 \neq-10