TeX source:
10 - (-7) =