TeX source:

x_1=-13