TeX source:
2+5