⊦
Assertion
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/assertion/" 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/assertion/Add a dynamic SVG badge to your README or docs.
[](https://symbolfyi.com/entity/assertion/)Use the native HTML custom element.
22A6 · Mathematical Operators · Zyyy
关于 Assertion
Logical symbol (U+22A6) from the Mathematical Operators block used in formal proof systems to indicate that a statement is asserted or derivable. Appears in sequent calculus and type theory.
On this page
编码
| Unicode 块 | U+22A6 | |
| 十进制 | ⊦ | |
| HTML十六进制 | ⊦ | |
| CSS | \22A6 | |
| JavaScript | \u{22A6} | |
| Python | \u22a6 | |
| Java | \u22A6 | |
| UTF-8 十六进制 | e2 8a a6 | |
| UTF-16 | 22 a6 | |
| URL编码 | %E2%8A%A6 |
Unicode 属性
Block
Mathematical Operators
Script
Zyyy
Category
Math Symbol (Sm)
Bidirectional
ON
相似符号
比较
相关符号
常见问题
What is the ⊦ Assertion symbol?
⊦ is the Assertion symbol, encoded at Unicode 22A6.
What is the Unicode codepoint of Assertion?
The Assertion symbol (⊦) has codepoint 22A6.
How do I type or copy Assertion?
Copy ⊦ directly, or use the HTML entity, CSS, JavaScript, and Python encodings shown on this page.