TeX source:
5\times~-2