SymbolFYI

Right Tack

22A2 · Mathematical Operators · Zyyy

Über 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

Kodierungen

Unicode-Block U+22A2
Dezimal ⊢
HTML-Hexadezimal ⊢
CSS \22A2
JavaScript \u{22A2}
Python \u22a2
Java \u22A2
UTF-8 Hex e2 8a a2
UTF-16 22 a2
URL-kodiert %E2%8A%A2

Unicode-Eigenschaften

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

Ähnliche Symbole

Vergleichen

Häufig gestellte Fragen

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.