TeX source:
x_5=-13