TeX source:
\liminf