TeX source:
10 + (-7) =