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