LEFT AND RIGHT DOUBLE TURNSTILE·U+27DA

Character Information

Code Point
U+27DA
HEX
27DA
Unicode Plane
Basic Multilingual Plane
Category
Math Symbol

Character Representations

Click elements to copy
EncodingHexBinary
UTF8
E2 9F 9A
11100010 10011111 10011010
UTF16 (big Endian)
27 DA
00100111 11011010
UTF16 (little Endian)
DA 27
11011010 00100111
UTF32 (big Endian)
00 00 27 DA
00000000 00000000 00100111 11011010
UTF32 (little Endian)
DA 27 00 00
11011010 00100111 00000000 00000000
HTML Entity
⟚
URI Encoded
%E2%9F%9A

Description

The Unicode character U+27DA, also known as the Left and Right Double Turnstile (⇅), plays a crucial role in digital text by serving as a symbol for logical equivalence. This means that it is typically used to denote that two values are equivalent under certain conditions or within specific contexts. The double turnstile was first introduced in mathematics, particularly in the field of propositional logic and set theory. It represents the relationship between two sets, showing that they contain the same elements. In addition to its usage in formal mathematical contexts, the Left and Right Double Turnstile has seen increased use in programming languages and software applications as a symbol for equality tests and type-checking operations. Overall, the U+27DA character is an important tool for maintaining clarity and precision in digital text across various disciplines.

How to type the symbol on Windows

Hold Alt and type 10202 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+27DA. 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+27DA to binary: 00100111 11011010. 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 10011111 10011010