TeX source:

x_0=2