TeX source:
x_1=-9