TeX source:
x =-13