Símbolo de 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
Comando:
\nvDash
Utiliza el siguiente comando para escribir este símbolo:
Este símbolo requiere el paquete