TeX source:
7+10