В математической логике и информатике символ получил название турникет из-за его сходства с типичным турникетом, если смотреть сверху. Его также называют тройником и часто читают как «дает», «доказывает», «удовлетворяет» или «влечет за собой».
В TeX символ турникета получается из команды \ vdash. В Юникоде символ турникета ( ⊢) называется правильным галсом и находится в кодовой точке U + 22A2. (Кодовый пункт U + 22A6 называется знаком утверждения ( ⊦).) На пишущей машинке турникет может состоять из вертикальной черты (|) и тире (-). В LaTeX есть пакет турникета, который выдает этот знак разными способами и позволяет наклеивать ярлыки ниже или выше в нужных местах.
Турникет представляет собой бинарную связь. Он имеет несколько различных интерпретаций в разных контекстах:
|journal=
( помощь )|journal=
( помощь )|journal=
( помощь )|journal=
( помощь )