\varinjlim - Se utiliza para crear el símbolo varinjlim.
{ \varinjlim}
El comando \ varinjlim dibuja el símbolo varinjlim.
\varinjlim