Учебники

\ Vvdash – Tex Command

\ Vvdash – используется для создания символа Vvdash.

СИНТАКСИС

 {\ Vvdash}

ОПИСАНИЕ

Команда \ Vvdash рисует символ Vvdash.