TeX source:
x_2 = a