\vdash

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

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