TeX source:
6-1+5