TeX source:
10+5=