TeX source:
7+8+2