SymbolFYI

Right Tack

22A2 · Mathematical Operators · Zyyy

소개 Right Tack

Logical symbol (U+22A2) from the Mathematical Operators block, also called turnstile, indicating syntactic derivability or provability. Used in proof theory, type theory, and formal logic to show that a conclusion follows from premises.

On this page

인코딩

Unicode 블록 U+22A2
10진수 ⊢
HTML 16진수 ⊢
CSS \22A2
JavaScript \u{22A2}
Python \u22a2
Java \u22A2
UTF-8 16진수 e2 8a a2
UTF-16 22 a2
URL 인코딩 %E2%8A%A2

Unicode 속성

Block
Mathematical Operators
Script
Zyyy
Category
Math Symbol (Sm)
Bidirectional
ON

유사 기호

비교

자주 묻는 질문

What is the ⊢ Right Tack symbol?

⊢ is the Right Tack symbol, encoded at Unicode 22A2.

What is the Unicode codepoint of Right Tack?

The Right Tack symbol (⊢) has codepoint 22A2.

How do I type or copy Right Tack?

Copy ⊢ directly, or use the HTML entity, CSS, JavaScript, and Python encodings shown on this page.