TeX source:
5+0=5