TeX source:
-8 - 10 \times (-7)