TeX source:
0+12=12