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

• Символ ⊢ (turnstile) используется в математической логике и информатике из-за сходства с турникетом. 
• Турникет представляет собой бинарное отношение и имеет различные интерпретации в разных контекстах. 
• В металогике и теории доказательств, турникет обозначает синтаксическую последовательность или «выводимость». 
• В последовательном исчислении, турникет используется для обозначения последовательности. 
• В типизированном лямбда-исчислении, турникет отделяет допущения при вводе текста от суждений. 
• В теории категорий, обратный турникет используется для обозначения сопряжения функторов. 
• В APL, символ турникета называется «right tack» и представляет двойственную функцию идентификации. 
• В комбинаторике, λ⊢n означает разбиение целого числа n. 
• В калькуляторах HP-41C/CV/CX и HP-42S, символ турникета используется для обозначения добавления символов к алфавитному регистру. 
• В других калькуляторах Casio, символ турникета обозначает оператор вычисления по модулю. 
• В теории моделей, φ⊢ψ означает, что φ влечет за собой ψ, и каждая модель φ является моделью ψ.