TeX source:
(2x+7)