TeX source:
9 + 10 = 19