TeX source:
0+(-7)=-7