TeX source:
x_3 = 1