Unicode Character 'COMBINING DOUBLE VERTICAL STROKE OVERLAY' (U+20E6) |
  |
COMBINING DOUBLE VERTICAL STROKE OVERLAY
COMBINING DOUBLE VERTICAL STROKE OVERLAY
| Unicode Data | |
|---|---|
| Name | COMBINING DOUBLE VERTICAL STROKE OVERLAY |
| Block | Combining Diacritical Marks for Symbols |
| Category | Mark, Nonspacing [Mn] |
| Combine | 1 |
| BIDI | Non-Spacing Mark [NSM] |
| Mirror | N |
| Index entries | OVERLAY, COMBINING DOUBLE VERTICAL STROKE finite function diacritic COMBINING DOUBLE VERTICAL STROKE OVERLAY VERTICAL STROKE OVERLAY, COMBINING DOUBLE DOUBLE VERTICAL STROKE OVERLAY, COMBINING STROKE OVERLAY, COMBINING DOUBLE VERTICAL diacritic, finite function |
| Comments | z notation finite function diacritic |
| See Also | double vertical line U+2016 rightwards arrow with double vertical stroke U+21FB rightwards two-headed arrow with double vertical stroke U+2901 rightwards arrow with tail with double vertical stroke U+2915 |
| Version | Unicode 3.2.0 (March, 2002) |
| Encodings | |
|---|---|
| HTML Entity (decimal) | ⃦ |
| HTML Entity (hex) | ⃦ |
| How to type in Microsoft Windows | Alt +20E6 |
| UTF-8 (hex) | 0xE2 0x83 0xA6 (e283a6) |
| UTF-8 (binary) | 11100010:10000011:10100110 |
| UTF-16 (hex) | 0x20E6 (20e6) |
| UTF-16 (decimal) | 8,422 |
| UTF-32 (hex) | 0x000020E6 (20e6) |
| UTF-32 (decimal) | 8,422 |
| C/C++/Java source code | "\u20E6" |
| Python source code | u"\u20E6" |
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | ⃦ |
| string.toLowerCase() | ⃦ |
| Character.UnicodeBlock | COMBINING_MARKS_FOR_SYMBOLS |
| Character.charCount() | 1 |
| Character.getDirectionality() | DIRECTIONALITY_NONSPACING_MARK [8] |
| Character.getNumericValue() | -1 |
| Character.getType() | 6 |
| Character.isDefined() | Yes |
| Character.isDigit() | No |
| Character.isIdentifierIgnorable() | No |
| Character.isISOControl() | No |
| Character.isJavaIdentifierPart() | Yes |
| 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() | Yes |
| Character.isUnicodeIdentifierStart() | No |
| Character.isUpperCase() | No |
| Character.isValidCodePoint() | Yes |
| Character.isWhitespace() | No |
