TeX source:
7+3=10