TeX source:
1 + (-3) =