TeX source:

x_1 = -2