TeX source:
3 = 1+2