Símbolo de doble trinquete en LaTeX
$$\models$$
Comando:
\models
Utiliza el siguiente comando para escribir este símbolo:
\models
Tutoriales, documentación y código
Comando:
\models
Utiliza el siguiente comando para escribir este símbolo: