TeX source:
6 - (-3) =