TRIPLE VERTICAL BAR RIGHT TURNSTILE·U+22AA

Character Information

Code Point
U+22AA
HEX
22AA
Unicode Plane
Basic Multilingual Plane
Category
Math Symbol

Character Representations

Click elements to copy
EncodingHexBinary
UTF8
E2 8A AA
11100010 10001010 10101010
UTF16 (big Endian)
22 AA
00100010 10101010
UTF16 (little Endian)
AA 22
10101010 00100010
UTF32 (big Endian)
00 00 22 AA
00000000 00000000 00100010 10101010
UTF32 (little Endian)
AA 22 00 00
10101010 00100010 00000000 00000000
HTML Entity
⊪
URI Encoded
%E2%8A%AA

Description

The Unicode character U+22AA is known as the TRIPLE VERTICAL BAR RIGHT TURNSTILE. In its typical usage, it serves as a symbol in digital text for representing a right turnstile, which consists of three vertical bars stacked on top of each other. While this character might not be widely recognized in everyday language use, it is essential in specific technical and mathematical contexts. It often appears in set theory to denote the right turnstile implication, symbolizing "if P, then Q," where P and Q are propositions. In this context, the symbol helps mathematicians and logicians express relationships between statements in a concise manner. Although it may not have significant cultural or linguistic implications, the TRIPLE VERTICAL BAR RIGHT TURNSTILE plays a critical role in ensuring clarity and precision within the specialized fields of set theory and mathematical logic.

How to type the symbol on Windows

Hold Alt and type 8874 on the numpad. Or use Character Map.

  1. Step 1: Determine the UTF-8 encoding bit layout

    The character has the Unicode code point U+22AA. In UTF-8, it is encoded using 3 bytes because its codepoint is in the range of 0x0800 to 0xffff.

    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 the x are the payload bits.

    UTF-8 Encoding bit layout by codepoint range
    Codepoint RangeBytesBit patternPayload length
    U+0000 - U+007F10xxxxxxx7 bits
    U+0080 - U+07FF2110xxxxx 10xxxxxx11 bits
    U+0800 - U+FFFF31110xxxx 10xxxxxx 10xxxxxx16 bits
    U+10000 - U+10FFFF411110xxx 10xxxxxx 10xxxxxx 10xxxxxx21 bits
  2. Step 2: Obtain the payload bits:

    Convert the hexadecimal code point U+22AA to binary: 00100010 10101010. Those are the payload bits.

  3. 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 10101010