Right Tack Symbol
The ⊢ right tack symbol (U+22A2) is used to indicate a turnstile relation in logic and formal systems.
U+22A2
The symbol ⊢ is commonly read as “proves” or “yields,” especially in logic and proof notation. It can also appear in programming and technical documents to mark a relationship between statements.
Right Tack Symbol Meaning
⊢ (Unicode name: RIGHT TACK, U+22A2) is known as the “right tack” and is widely used as a turnstile in formal logic and proof systems. In many presentations, it appears between a set of premises and a conclusion to express that the conclusion is derivable from those premises (often read as “proves” or “yields”). Depending on the notation used by a text or author, it may distinguish between derivability and validity, or be paired with related symbols to indicate different kinds of entailment. Outside of strict logic, it’s sometimes used stylistically to separate contexts from outcomes in technical writing.
Common uses
- •Logic notation: writing “premises ⊢ conclusion” for derivability
- •Proof documents: marking steps where a conclusion follows from assumptions
- •Technical writing: signaling an inference or outcome in formal arguments
- •Math typesetting: representing turnstile relations in LaTeX-like content
- •UI/editor text: labeling constraints like “rules ⊢ result” in specifications
Examples
⊢ Right Tack (U+22A2)
- ⊢Γ ⊢ φ
- ⊢Assumptions ⊢ Result
- ⊢P, Q ⊢ R
- ⊢S ⊢ theorem
- ⊢If A holds, then A ⊢ B
Variations
Ready to copy
Technical codes
| Unicode | U+22A2 | |
| HTML Entity | ⊢ | |
| HTML Code | ⊢ | |
| CSS | \22A2 |
FAQ
What does the Right Tack symbol mean?
⊢ (Unicode name: RIGHT TACK, U+22A2) is known as the “right tack” and is widely used as a turnstile in formal logic and proof systems. In many presentations, it appears between a set of premises and a conclusion to express that the conclusion is derivable from those premises (often read as “proves” or “yields”). Depending on the notation used by a text or author, it may distinguish between derivability and validity, or be paired with related symbols to indicate different kinds of entailment. Outside of strict logic, it’s sometimes used stylistically to separate contexts from outcomes in technical writing.
What is the Unicode code point for ⊢?
The Unicode code point is U+22A2 (RIGHT TACK).
How can I copy ⊢ for use in HTML?
You can use the HTML entity: ⊢.
How do I type or render ⊢ using CSS or JavaScript escapes?
CSS escape: \\22A2. JavaScript escape: \\u{22A2}.
Is ⊢ always read as “proves”?
In logic and proof notation, it’s commonly read as “proves” or “yields,” but the exact interpretation can vary with the author’s system and related symbols.