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