TeX source:
x= -3