portada
Logo Latex

Tutoriales, documentación y código

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