| 記号名 | Assertion |
| Unicodeバージョン | 1.1 |
| Unicode | U+22A6 |
| Unicodeブロック | |
| 一般カテゴリ | Math Symbol (Sm) |
| CSSコード | \22A6 |
| 16進コード | 0x22A6 |
| HTMLコード | ⊦ |
| LaTeX | \mathrm{⊦} |
| 記号 | ⊦ |
| URLエンコード(UTF-8パーセント) | %E2%8A%A6 |
| 読み上げ名 / スクリーンリーダー | Assertion |
| UTF-8 | E2 8A A6 |
| UTF-16 | 22A6 |
| UTF-32 | 000022A6 |
1\documentclass{article}2\usepackage{pifont}3\mathrm{⊦}4\end{document}以下の方法でほとんどの最新デバイスでassertion記号を入力できます:
Alt + 8870 on Windows (numeric keypad with Num Lock), or insert via Character Map.
Edit → Emoji & Symbols, search "assertion", or use Unicode Hex Input with 22A6.
Ctrl + Shift + U, type 22a6, then Enter (layout-dependent).
Paste from this page, use text replacement, or pick from the symbol keyboard.
Paste from this page or use a keyboard with math symbol support.
1span.assertion::before { content: "\22A6"; }1<span>⊦</span>各プログラミング言語におけるAssertion記号の表現は以下の表の通りです:
| 言語 | 表現 |
|---|---|
| JavaScript / TypeScript | '\u22A6' or String.fromCodePoint(0x22A6) |
| Python | '\N{ASSERTION}' or chr(8870) |
| Rust | '\u{22A6}' |
| C / C++ | UTF-8 source or wchar_t with U+22A6 |
| Go | string(rune(0x22A6)) |
| Ruby | "\u22A6" |