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] |
| Script | Inherited (Zinh) |
| Combine | 1 |
| BIDI | Non-Spacing Mark [NSM] |
| Index entries | COMBINING DOUBLE VERTICAL STROKE OVERLAY diacritic, finite function DOUBLE VERTICAL STROKE OVERLAY, COMBINING finite function diacritic OVERLAY, COMBINING DOUBLE VERTICAL STROKE STROKE OVERLAY, COMBINING DOUBLE VERTICAL VERTICAL STROKE OVERLAY, COMBINING DOUBLE |
| Comments | Formal Alias: 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 |