TeX source:

j\to \infty