\models - Usado para criar símbolos de modelos.
{ \models}
O comando \ models desenha o símbolo dos modelos.
\models