TeX source:

x_1= -1