TeX source:
0 + (-13) =