Турникет (символ)
Материал из Википедии — свободной encyclopedia
У этого термина существуют и другие значения, см. Турникет (значения).
Турникет — в математической логике и информатике символ называется «турникетом» из-за его сходства с типичным турникетом, если смотреть сверху. Он также упоминается как «тройник» и часто читается как «даёт», «доказывает», «удовлетворяет» или «влечёт за собой».
Краткие факты Турникет, Характеристики ...
Турникет | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
⊢ | ||||||||||||
|
||||||||||||
Характеристики | ||||||||||||
Название | right tack | |||||||||||
Юникод | U+22A2 | |||||||||||
HTML-код |
⊢ или ⊢ |
|||||||||||
UTF-16 | 0x22A2 | |||||||||||
URL-код | %E2%8A%A2 | |||||||||||
Мнемоника |
⊢ |
Закрыть
В TeX символ турникета получается из команды \vdash. В Юникоде символ турникета (\vdash) называется «кнопка вправо» и находится на кодовой позиции U+22A2[1]. Кодовая позиция U+22A6 называется «знак утверждения» (\vdash). На пишущей машинке турникет может состоять из вертикальной полосы (|) и тире (-). В LaTeX есть турникетный пакет, который выдаёт этот знак во многих случаях и способен помещать знаки ниже или выше него в нужных местах.[2]