TeX source:
10+3