TeX source:
x=−3