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