TeX source:
5+8+3[0]