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