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