TeX source:
x_1= 1