TeX source:
0 - (-13) =