TeX source:
0+5=5