TeX source:
3x-1=0