TeX source:

x\to \infty