TeX source:
1+5