TeX source:
x = -3