TeX source:
x_1 = 6