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