TeX source:
x-1=0