TeX source:
1+(2+3)