\dashv

Бинарные отношения, \vdash, $, $$

Вперед, Назад, Индекс