TeX source:
4-1=3