Assertion Symbol
The ⊦ symbol is commonly used to denote an assertion or logical entailment-style statement in formal writing.
U+22A6
⊦ is the Unicode symbol named “ASSERTION” (U+22A6). It’s often used in math and logic contexts where authors want a clear “asserts/holds” marker.
Assertion Symbol Meaning
⊦ (Unicode U+22A6) is named “ASSERTION” and belongs to the Math category. In practice, it’s used as a logical or formal notation marker indicating that something is asserted or that a claim holds in a structured way (often alongside other symbols used for entailment, consequence, or validation). Because notation conventions vary by field and document style, you’ll most commonly see ⊦ inside technical texts, proofs, or specification-like writing where clarity matters. When copying into documents, consider font support and prefer a consistent notation style with surrounding math symbols.
Common uses
- •Annotating logic statements in notes or study materials
- •Marking assertions in formal specification documents
- •Labeling steps in proof-like writing where a claim is stated
- •Creating math/logic diagrams or worksheet instructions
- •Styling callouts in technical posts about reasoning rules
Examples
⊦ Assertion symbol (U+22A6)
- ⊦Γ ⊦ P
- ⊦We assert ⊦ S
- ⊦T ⊦ φ, therefore φ holds
- ⊦If ⊦ A, then ⊦ B
- ⊦From the premises, ⊦ conclusion
Variations
Ready to copy
Technical codes
| Unicode | U+22A6 | |
| HTML Entity | ⊦ | |
| HTML Code | ⊦ | |
| CSS | \22A6 |
FAQ
What does the Assertion symbol mean?
⊦ (Unicode U+22A6) is named “ASSERTION” and belongs to the Math category. In practice, it’s used as a logical or formal notation marker indicating that something is asserted or that a claim holds in a structured way (often alongside other symbols used for entailment, consequence, or validation). Because notation conventions vary by field and document style, you’ll most commonly see ⊦ inside technical texts, proofs, or specification-like writing where clarity matters. When copying into documents, consider font support and prefer a consistent notation style with surrounding math symbols.
What is the Unicode name of ⊦?
The Unicode name is “ASSERTION” and the code point is U+22A6.
How do I type ⊦ in HTML?
Use the HTML entity ⊦.
Is ⊦ the same as the turnstile / models symbols?
Not exactly—notation varies by context. ⊦ is specifically named “ASSERTION” (U+22A6). In some documents it may be used similarly to other logic markers, but you should follow your source’s convention.
Will it always display correctly on my device?
Display depends on font and platform support for the Math symbol at U+22A6. If it doesn’t render, try a different font or use a fallback math font.