Учебники

\ vdash – Tex Command

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

СИНТАКСИС

 {\ vDash}

ОПИСАНИЕ

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