TeX source:
3+1=4