Símbolo de barra doble con trinquete en LaTeX
$$\Vvdash$$
Comando:
\Vvdash
Utiliza el siguiente comando para escribir este símbolo:
\Vvdash
Este símbolo requiere el paquete
amssymb
Tutoriales, documentación y código
Comando:
\Vvdash
Utiliza el siguiente comando para escribir este símbolo:
Este símbolo requiere el paquete