TeX source:
x_k\to x_0