TeX source:

5x+12