TeX source:
-5 - (-8) =