TeX source:
(1+3)