LEFTWARDS ARROW WITH VERTICAL STROKE·U+21F7

Character Information

Code Point
U+21F7
HEX
21F7
Unicode Plane
Basic Multilingual Plane
Category
Math Symbol

Character Representations

Click elements to copy
EncodingHexBinary
UTF8
E2 87 B7
11100010 10000111 10110111
UTF16 (big Endian)
21 F7
00100001 11110111
UTF16 (little Endian)
F7 21
11110111 00100001
UTF32 (big Endian)
00 00 21 F7
00000000 00000000 00100001 11110111
UTF32 (little Endian)
F7 21 00 00
11110111 00100001 00000000 00000000
HTML Entity
⇷
URI Encoded
%E2%87%B7

Description

The Unicode character U+21F7, known as the Leftwards Arrow with Vertical Stroke, is a mathematical symbol used to represent a leftward arrow that has a vertical line passing through it. This unique symbol plays a significant role in digital text, particularly in mathematics and computer science where it is commonly employed to denote an ordered pair or a mapping between two elements. In linguistic contexts, the U+21F7 character may be used in certain formal languages, such as those used in programming and symbolic logic, where it signifies a particular type of relation or direction. Overall, this character serves a crucial function in digital text across various disciplines by providing a clear and concise representation of specific relationships and mappings, making it an important tool for clarity and precision in communication.

How to type the symbol on Windows

Hold Alt and type 8695 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+21F7. 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+21F7 to binary: 00100001 11110111. 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 10000111 10110111