\vdash

Бинарные отношения, \dashv, \ddag, \perp, \top, $

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