\dashv - Se utiliza para dibujar el símbolo de dashv.
{ \dashv }
El comando \ dashv dibuja el símbolo de dashv.
\dashv