\dashv

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

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