TeX source:
5x−2