TeX source:
3+2