TeX source:
(1 + 3 = 4