Unicode Character 'RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE' (U+2917) |
  |
| Unicode Data | |
|---|---|
| Name | RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE |
| Block | Supplemental Arrows-B |
| Category | Symbol, Math [Sm] |
| Combine | 0 |
| BIDI | Other Neutrals [ON] |
| Mirror | N |
| Index entries | surjective injection injection, surjective |
| Comments | z notation surjective injection |
| See Also | leftwards two-headed arrow with tail with vertical stroke U+2B3C |
| Version | Unicode 3.2.0 (March, 2002) |
| Encodings | |
|---|---|
| HTML Entity (decimal) | ⤗ |
| HTML Entity (hex) | ⤗ |
| How to type in Microsoft Windows | Alt +2917 |
| UTF-8 (hex) | 0xE2 0xA4 0x97 (e2a497) |
| UTF-8 (binary) | 11100010:10100100:10010111 |
| UTF-16 (hex) | 0x2917 (2917) |
| UTF-16 (decimal) | 10,519 |
| UTF-32 (hex) | 0x00002917 (2917) |
| UTF-32 (decimal) | 10,519 |
| C/C++/Java source code | "\u2917" |
| Python source code | u"\u2917" |
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | ⤗ |
| string.toLowerCase() | ⤗ |
| Character.UnicodeBlock | SUPPLEMENTAL_ARROWS_B |
| Character.charCount() | 1 |
| Character.getDirectionality() | DIRECTIONALITY_OTHER_NEUTRALS [13] |
| Character.getNumericValue() | -1 |
| Character.getType() | 25 |
| Character.isDefined() | Yes |
| Character.isDigit() | No |
| Character.isIdentifierIgnorable() | No |
| Character.isISOControl() | No |
| Character.isJavaIdentifierPart() | No |
| Character.isJavaIdentifierStart() | No |
| Character.isLetter() | No |
| Character.isLetterOrDigit() | No |
| Character.isLowerCase() | No |
| Character.isMirrored() | No |
| Character.isSpaceChar() | No |
| Character.isSupplementaryCodePoint() | No |
| Character.isTitleCase() | No |
| Character.isUnicodeIdentifierPart() | No |
| Character.isUnicodeIdentifierStart() | No |
| Character.isUpperCase() | No |
| Character.isValidCodePoint() | Yes |
| Character.isWhitespace() | No |
