TeX source:
x_2 = 1