TeX source:
4+3