TeX source:
x_2 = -7