TeX source:
(9 + 5) + 5