\models - Se utiliza para crear símbolo de modelos.
{ \models}
El comando \ modelos dibuja el símbolo de los modelos.
\models