TeX source:
a \rightarrow \infty