Step 1: Determine the UTF-8 encoding bit layout
The character ⊨ has the Unicode code point U+22A8. In UTF-8, it is encoded using 3 bytes because its codepoint is in the range of
0x0800to0xffff.
Therefore we know that the UTF-8 encoding will be done over 16 bits within the final 24 bits and that it will have the format:1110xxxx 10xxxxxx 10xxxxxx
Where thexare the payload bits.UTF-8 Encoding bit layout by codepoint range Codepoint Range Bytes Bit pattern Payload length U+0000 - U+007F 1 0xxxxxxx 7 bits U+0080 - U+07FF 2 110xxxxx 10xxxxxx 11 bits U+0800 - U+FFFF 3 1110xxxx 10xxxxxx 10xxxxxx 16 bits U+10000 - U+10FFFF 4 11110xxx 10xxxxxx 10xxxxxx 10xxxxxx 21 bits Step 2: Obtain the payload bits:
Convert the hexadecimal code point U+22A8 to binary:
00100010 10101000. Those are the payload bits.Step 3: Fill in the bits to match the bit pattern:
Obtain the final bytes by arranging the paylod bits to match the bit layout:
11100010 10001010 10101000
TRUE·U+22A8
⊨
Character Information
Code Point
U+22A8
HEX
22A8
Unicode Plane
Basic Multilingual Plane
Category
Math Symbol
Character Representations
Click elements to copy| Encoding | Hex | Binary |
|---|---|---|
| UTF8 | E2 8A A8 | 11100010 10001010 10101000 |
| UTF16 (big Endian) | 22 A8 | 00100010 10101000 |
| UTF16 (little Endian) | A8 22 | 10101000 00100010 |
| UTF32 (big Endian) | 00 00 22 A8 | 00000000 00000000 00100010 10101000 |
| UTF32 (little Endian) | A8 22 00 00 | 10101000 00100010 00000000 00000000 |
HTML Entity
⊨
URI Encoded
%E2%8A%A8
Description
The Unicode character U+22A8, known as "TRUE", is a mathematical symbol used predominantly in digital text to represent the concept of truth in logical statements. In computer science and mathematics, it serves as an important element in formal logic and propositional calculus. The character plays a pivotal role in establishing the veracity of arguments and expressions within these disciplines. Although its usage is primarily technical, U+22A8 also holds significance in the context of programming languages, where it is often employed to represent boolean values. Despite its technical nature, the character "TRUE" maintains relevance across various cultural and linguistic contexts due to the widespread use of programming languages in today's technology-driven world.
How to type the ⊨ symbol on Windows
Hold Alt and type 8872 on the numpad. Or use Character Map.