Step 1: Determine the UTF-8 encoding bit layout
The character ⊫ has the Unicode code point U+22AB. In UTF-8, it is encoded using 3 bytes because its codepoint is in the range of
0x0800
to0xffff
.
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 thex
are 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+22AB to binary:
00100010 10101011
. 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 10101011
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE·U+22AB
Character Information
Character Representations
Click elements to copyEncoding | Hex | Binary |
---|---|---|
UTF8 | E2 8A AB | 11100010 10001010 10101011 |
UTF16 (big Endian) | 22 AB | 00100010 10101011 |
UTF16 (little Endian) | AB 22 | 10101011 00100010 |
UTF32 (big Endian) | 00 00 22 AB | 00000000 00000000 00100010 10101011 |
UTF32 (little Endian) | AB 22 00 00 | 10101011 00100010 00000000 00000000 |
Description
The Unicode character U+22AB, known as the Double Vertical Bar Double Right Turnstile, is a symbol primarily used in digital text for its mathematical and logical significance. It represents an implication or entailment operator, which denotes that if the premise is true, then the conclusion must also be true. This character plays a crucial role in formal logic systems, as well as in programming languages and computer algebra systems. In these contexts, it helps ensure clarity and precision in mathematical expressions and logical statements. The Double Vertical Bar Double Right Turnstile is a vital tool for mathematicians, logicians, and programmers who need to convey complex relationships and dependencies accurately.
How to type the ⊫ symbol on Windows
Hold Alt and type 8875 on the numpad. Or use Character Map.