\dashv
Бинарные отношения
,
\vdash
,
$
Вперед
,
Назад
,
Индекс