TeX source:
7 + (-7) =