TeX source:
12 + 5