TeX source:

7 x+12