TeX source:
1 - (-3) =