TeX source:
6-1=5