TeX source:
x =-1