TeX source:

4x+7