Símbolo de doble trinquete en LaTeX
$$\vDash$$
Comando:
\vDash
Utiliza el siguiente comando para escribir este símbolo:
\vDash
Este símbolo requiere el paquete
amssymb
Comando:
\vDash
Utiliza el siguiente comando para escribir este símbolo:
Este símbolo requiere el paquete