TeX source:
8+10