TeX source:
3 x+4 x+7+5