TeX source:

x_0 = 1