Step 1: Determine the UTF-8 encoding bit layout
The character ⊬ has the Unicode code point U+22AC. 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+22AC to binary:
00100010 10101100. 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 10101100
DOES NOT PROVE·U+22AC
⊬
Character Information
Code Point
U+22AC
HEX
22AC
Unicode Plane
Basic Multilingual Plane
Category
Math Symbol
Character Representations
Click elements to copy| Encoding | Hex | Binary |
|---|---|---|
| UTF8 | E2 8A AC | 11100010 10001010 10101100 |
| UTF16 (big Endian) | 22 AC | 00100010 10101100 |
| UTF16 (little Endian) | AC 22 | 10101100 00100010 |
| UTF32 (big Endian) | 00 00 22 AC | 00000000 00000000 00100010 10101100 |
| UTF32 (little Endian) | AC 22 00 00 | 10101100 00100010 00000000 00000000 |
HTML Entity
⊬
URI Encoded
%E2%8A%AC
Description
The Unicode character U+22AC, known as the "Does Not Prove" symbol, plays a crucial role in mathematical notation and logic expressions within digital text. It is primarily used to denote a logical implication or entailment that does not necessarily prove the existence of a certain concept or statement. This symbol finds its origins and application in formal logic, computer science, and mathematics, where it serves as an essential tool for precise communication. The "Does Not Prove" symbol's significance lies in its ability to accurately convey complex ideas and relationships, which contributes to the clarity and efficiency of digital text within these disciplines. In summary, U+22AC is a vital character in digital text, particularly in formal logic and mathematical contexts, where it accurately represents the concept of logical implication or entailment that does not prove the existence of a particular idea or statement.
How to type the ⊬ symbol on Windows
Hold Alt and type 8876 on the numpad. Or use Character Map.