TeX source:
5+8+0