TeX source:
4+8 = 12