\doublebarwedge - Usado para desenhar o símbolo de barra dupla.
{ \doublebarwedge }
O comando \ doublebarwedge desenha o símbolo de barra dupla.
\doublebarwedge