TeX source:

4 (4 + 7)