\vartriangleleft - Used to create vartriangleleft symbol.
{ \vartriangleleft}
\vartriangleleft command draws vartriangleleft symbol.
\vartriangleleft