$\underset{i \in I}{proj lim} A_{i} = \underset{i \in I}{\lim_{\leftarrow}} A_{i}$

Inline: ${proj lim}_{i \in I} A_{i} = {\lim_{\leftarrow}}_{i \in I} A_{i}$ , the arrow stays under the limit while the expression moves to the side.

$\underset{i \in I}{inj lim} A_{i} = \underset{i \in I}{\lim_{\to}} A_{i}$

$\underset{n \to \infty}{lim inf} a_{n} = \underset{n \to \infty}{\lim_{̲}} a_{n}$

varlimsup (lim with an overline) is omitted: Glu stretches the overline to the right width but does not yet place it tight above its base.