TeX source:
-8 - (-4) =