⊢
Right Tack
Embed This Widget
Add the script tag and a data attribute to embed this widget.
Embed via iframe for maximum compatibility.
<iframe src="https://symbolfyi.com/iframe/entity/right-tack/" width="420" height="400" frameborder="0" style="border:0;border-radius:10px;max-width:100%" loading="lazy"></iframe>Paste this URL in WordPress, Medium, or any oEmbed-compatible platform.
https://symbolfyi.com/entity/right-tack/Add a dynamic SVG badge to your README or docs.
[](https://symbolfyi.com/entity/right-tack/)Use the native HTML custom element.
22A2 · Mathematical Operators · Zyyy
About 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
Encodings
| Unicode | U+22A2 | |
| HTML Decimal | ⊢ | |
| HTML Hex | ⊢ | |
| CSS | \22A2 | |
| JavaScript | \u{22A2} | |
| Python | \u22a2 | |
| Java | \u22A2 | |
| UTF-8 | e2 8a a2 | |
| UTF-16 | 22 a2 | |
| URL Encoded | %E2%8A%A2 |
Unicode Properties
Block
Mathematical Operators
Script
Zyyy
Category
Math Symbol (Sm)
Bidirectional
ON
Similar Symbols
Compare
Related Symbols
Frequently Asked Questions
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.