TeX source:
-15 \neq-20