TeX source:
10+3 = 13