⊨
Copy to Clipboard
TRUE
General information
| ID | 8872 |
| HEX | 22a8 |
| Char | ⊨ |
| Char type | Math_Symbol |
| Unicode name | TRUE |
| Extended name | TRUE |
| Unicode group | Mathematical Operators |
| Unicode Code Point | U+22A8 |
| Mirrored | ⫤ |
Conversion (How to escape ⊨)
| HTML Entity (decimal) | ⊨ |
| HTML Entity (hex) | ⊨ |
| URL Encoded | %E2%8A%A8 |
| C / C++ / Java | "\u22A8" |
| Javascript (UTF-16) | "\u22A8" |
| Javascript | "\u{22A8}" |
| Python | u"\u22A8" |
| CSS | \22A8 |
| CSS | \0022A8 |
How to type ⊨
| Microsoft Office | write 22a8 then press Alt + X |
| Microsoft Office (alternative) | write U+22a8 then press Alt + X |
| Apple Mac | Hold Alt, type 2 2 A 8 then release |
| Apple Mac (alternative) | Hold Option, type 2 2 A 8 then release |
| Unix GTK | Hold Ctrl + Shift, type u 2 2 A 8, then release. |
| Unix GTK (Alternative) | Press Ctrl + Shift + u, type 2 2 A 8, then press Enter. |
UTF Encodings
| UTF-8 (hex) | E2 8A A8 |
| UTF-8 (octal) | 342 212 250 |
| UTF-8 (binary) | 11100010 10001010 10101000 |
| UTF-16 (hex) | 22 A8 |
| UTF-16 (octal) | 42 250 |
| UTF-16 (binary) | 00100010 10101000 |
| UTF-32 (hex) | 00 00 22 A8 |
| UTF-32 (octal) | 000 000 021 250 |
| UTF-32 (binary) | 00000000 00000000 00100010 10101000 |
IMAGE
