TeX source:
9 + (5 + 5)