TeX source:
3r + 5