TeX source:
8+1