\varinjlim - Usado para criar o símbolo varinjlim.
{ \varinjlim}
O comando \ varinjlim desenha o símbolo varinjlim.
\varinjlim