TeX source:
-7 - (-7) =