TeX source:
-4 \neq-10