TeX source:
5x-1=0