Fuente TeX:
\exists a_{n_k} \overset{k}{\longrightarrow} a