TeX source:
x_2=0