TeX source:
x_0=-13