\top

Смешанные ординарные символы, \perp, \dashv, \vdash, $

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