TeX source:
L:=\limsup_{n\to\infty}a_n