TeX source:

x_3 = -1