TeX source:
4(2)+7