TeX source:
-7 - (-9) =