TeX source:
5x=1