TeX source:
(1+2)+3