Турникет (символ)

---

Турникет — в математической логике и информатике символ ${\displaystyle \vdash }$ называется «турникетом» из-за его сходства с типичным турникетом, если смотреть сверху. Он также упоминается как «тройник» и часто читается как «даёт», «доказывает», «удовлетворяет» или «влечёт за собой».

В TeX символ турникета ${\displaystyle \vdash }$ получается из команды \vdash. В Юникоде символ турникета (\vdash) называется «кнопка вправо» и находится на кодовой позиции U+22A2^[1]. Кодовая позиция U+22A6 называется «знак утверждения» (\vdash). На пишущей машинке турникет может состоять из вертикальной полосы (|) и тире (-). В LaTeX есть турникетный пакет, который выдаёт этот знак во многих случаях и способен помещать знаки ниже или выше него в нужных местах.^[2]

Турникет представляет собой бинарное отношение. Его интерпретация^[англ.] различна в разных контекстах:

с функтором G.^[9] В более редких случаях турникет (${\displaystyle \vdash }$), как в ${\displaystyle G\vdash F}$, используется для указания на то, что функтор Gнепосредственно примыкает к функтору F.^[10]

---