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