⊨ is the Unicode character TRUE, code point U+22A8 (decimal 8872) in the Mathematical Operators block, added in Unicode 1.1. In HTML write ⊨, and in UTF-8 it is the 3 bytes E2 8A A8.
Codes
| Where | How to write it |
|---|---|
| Code point | U+22A8 |
| Decimal | 8872 |
| UTF-8 bytes | E2 8A A8 |
| UTF-16 (big-endian) | 22A8 |
| UTF-32 | 000022A8 |
| HTML decimal | ⊨ |
| HTML hex | ⊨ |
| HTML named | ⊨ ⊨ |
| CSS | \22A8 |
| JavaScript | \u22A8 |
| JSON | \u22A8 |
| Python | \u22A8 |
| Python by name | \N{TRUE} |
| Java, C# | \u22A8 |
| Rust, Swift | \u{22A8} |
| Go, C, C++ | \u22A8 |
| URL (percent-encoded) | %E2%8A%A8 |
JavaScript and JSON strings store text as UTF-16, so this character is one code unit long. Python 3 strings count code points, so its length there is 1.
Properties
| Property | Value |
|---|---|
| Name | TRUE |
| Code point | U+22A8 (decimal 8872) |
| Block | Mathematical Operators (U+2200–U+22FF) |
| General category | Sm: Math symbol |
| Script | Common |
| Bidirectional class | ON: Other neutral |
| Mirrored in right-to-left text | Yes |
| First in Unicode version | 1.1 |
Nearby in Mathematical Operators
- ⊠ U+22A0 Squared Times
- ⊡ U+22A1 Squared Dot Operator
- ⊢ U+22A2 Right Tack
- ⊣ U+22A3 Left Tack
- ⊤ U+22A4 Down Tack
- ⊥ U+22A5 Up Tack
- ⊦ U+22A6 Assertion
- ⊧ U+22A7 Models
- ⊩ U+22A9 Forces
- ⊪ U+22AA Triple Vertical Bar Right Turnstile
- ⊫ U+22AB Double Vertical Bar Double Right Turnstile
- ⊬ U+22AC Does Not Prove
- ⊭ U+22AD Not True
- ⊮ U+22AE Does Not Force
- ⊯ U+22AF Negated Double Vertical Bar Double Right Turnstile
- ⊰ U+22B0 Precedes Under Relation
All 256 characters: Mathematical Operators.
Official reference
Questions people ask
- What is the HTML code for ⊨?
- Use the named entity ⊨, or ⊨ (decimal) or ⊨ (hex).
- What is the UTF-8 encoding of U+22A8?
- E2 8A A8 (hex), 3 bytes. In a URL it is %E2%8A%A8.
- How do I write U+22A8 in JavaScript or Python?
- JavaScript: \u22A8. Python: \u22A8.
Source
Unicode Character Database 18.0.0 (Unicode License v3); HTML entity names from the WHATWG HTML Standard (CC BY 4.0). The encodings above are computed from the code point and checked against Python's encoders. How the character looks depends on your fonts.
Legal entity
Devansh Yadav
Moradabad, Uttar Pradesh
Governing law: Courts at Moradabad, Uttar Pradesh
Phone: +91 8433475698
Legal: legal@analyzeit.in