TeX source:
x =-4