TeX source:
1-3x=0