TeX source:
4 x-5