TeX source:
x_3=-13