Assertion (⊦) is Unicode U+22A6 in the Mathematical Operators block. It is the logic turnstile used for “asserts” / proves in formal logic and type judgments. HTML has no standard named entity — use numeric or CSS forms (or type the character in UTF-8).
Remember
Character ⊦
Unicode U+22A6
Hex entity ⊦
Decimal ⊦
Named entity (none)
CSS escape \22A6
Not the same ⊢ U+22A2 · ⊨ U+22A8
All of these produce the same glyph: ⊦. Prefer typing ⊦ in UTF-8 when you can; use ⊦ / ⊦ or CSS for generated content.
Assertion using Hex Code: ⊦
Assertion using HTML Code: ⊦
Assertion using CSS Entity: ⊦
Typed directly: ⊦
How It Works
1. Hex:U+22A6 → ⊦ in HTML. The browser turns it into ⊦.
2. Decimal: same code point as 8870 → ⊦. Same result as hex.
3. CSS: use \22A6 in content (not an HTML entity). #point::after appends that ⊦ after the paragraph text.
4. Typed ⊦: fine in UTF-8 source. All four lines show the same glyph.
Pitfalls & Tips
Common mistakes when working with the assertion (⊦) entity.
Named
No &name; for U+22A6
⊢ is ⊢ (U+22A2), not ⊦. For assertion use numeric references.
⊢
Not right tack
⊢ (U+22A2) is a different Mathematical Operators relation.
⊨
Not models / true
⊨ (U+22A8) usually means semantic consequence — not the same as ⊦.
CSS vs HTML
Do not mix escapes
\22A6 belongs in CSS. ⊦ / ⊦ belong in HTML.
Fonts
Use math-capable fonts
Some UI fonts omit Mathematical Operators. Prefer fonts with solid math coverage.
Semicolon
End references
Always finish with ; — write ⊦, not ⊦.
Compatibility
Browser Support
Assertion (U+22A6) and its entity forms (⊦, ⊦, CSS \\22A6) are supported in all mainstream browsers. Glyph availability depends on font support for Mathematical Operators.
✓ Universal support
Assertion (⊦)
Type ⊦, or encode with hex, decimal, or CSS escape — same glyph everywhere encoding is supported.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerAll versions
Yes
U+22A6 / entitiesFull support
Bottom line: Prefer a typed ⊦ or ⊦ for normal text. Use decimal when generating markup, and \\22A6 only inside CSS content.
Remember
Key Takeaways
Unicode: assertion is U+22A6 (decimal 8870).
HTML: use ⊦ or ⊦ (no named entity).
CSS: use \22A6 inside content for generated text.
Watch out: ⊦ ≠ ⊢ ≠ ⊨.
One line:U+22A6 → ⊦ / ⊦ / CSS \22A6.
Frequently Asked Questions
Use ⊦ (hex), ⊦ (decimal), or the CSS escape \22A6 in the content property. All render ⊦. You can also paste ⊦ directly if your file is UTF-8. There is no standard named entity.
U+22A6 (hex 22A6, decimal 8870). Unicode names it ASSERTION. It belongs to the Mathematical Operators block (U+2200–U+22FF) and is often called the turnstile.
No. HTML5 / WHATWG does not define a named character reference for U+22A6. Prefer ⊦, ⊦, or a typed ⊦ in UTF-8. (Note: ⊢ is U+22A2 ⊢, a different symbol.)
⊢ (U+22A2, right tack) and ⊨ (U+22A8, models / true) are related logic symbols with different Unicode values and typical meanings. Follow your textbook’s notation.
HTML entities (⊦ or ⊦) go in markup. The CSS escape \22A6 is used in stylesheets (usually in the content property of ::before/::after). Both render ⊦.
Use it in logic, type theory, or formal-proof content when your notation standard calls for the assertion turnstile. Glossing “asserts” or “proves” helps beginners.
🤔
Did you know?
Assertion is Unicode U+22A6 (decimal 8870) in the Mathematical Operators block — the turnstile used for “asserts” / proves in logic and type judgments. There is no standard named HTML entity — use ⊦ or ⊦. Do not confuse it with ⊢ (right tack, U+22A2) or ⊨ (models / true, U+22A8).
