Unicode Character 'ALEF SYMBOL' (U+2135) |
  |
ALEF SYMBOL
ALEF SYMBOL
| Unicode Data | |
|---|---|
| Name | ALEF SYMBOL |
| Block | Letterlike Symbols |
| Category | Letter, Other [Lo] |
| Script | Common (Zyyy) |
| Combine | 0 |
| BIDI | Left-to-Right [L] |
| Decomposition | HEBREW LETTER ALEF (U+05D0) |
| Old name | FIRST TRANSFINITE CARDINAL |
| Index entries | ALEF SYMBOL cardinal, first transfinite countable, first transfinite cardinal Hebrew Letterlike Mathematical Symbols Letterlike Mathematical Symbols, Hebrew Mathematical Symbols, Hebrew Letterlike Symbols, Hebrew Letterlike Mathematical transfinite cardinal, first |
| Approximations | 05D0 hebrew letter alef |
| Version | Unicode 1.1.0 (June, 1993) |
| Encodings | |
|---|---|
| HTML Entity (decimal) | ℵ |
| HTML Entity (hex) | ℵ |
| HTML Entity (named) | ℵ: ℵ ℵ: ℵ |
| How to type in Microsoft Windows | Alt +2135 |
| UTF-8 (hex) | 0xE2 0x84 0xB5 (e284b5) |
| UTF-8 (binary) | 11100010:10000100:10110101 |
| UTF-16 (hex) | 0x2135 (2135) |
| UTF-16 (decimal) | 8,501 |
| UTF-32 (hex) | 0x00002135 (2135) |
| UTF-32 (decimal) | 8,501 |
| C/C++/Java source code | "\u2135" |
| Python source code | u"\u2135" |
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | ℵ |
| string.toLowerCase() | ℵ |
| Character.UnicodeBlock | LETTERLIKE_SYMBOLS |
| Character.charCount() | 1 |
| Character.getDirectionality() | DIRECTIONALITY_LEFT_TO_RIGHT [0] |
| Character.getNumericValue() | -1 |
| Character.getType() | 5 |
| Character.isDefined() | Yes |
| Character.isDigit() | No |
| Character.isIdentifierIgnorable() | No |
| Character.isISOControl() | No |
| Character.isJavaIdentifierPart() | Yes |
| Character.isJavaIdentifierStart() | Yes |
| Character.isLetter() | Yes |
| Character.isLetterOrDigit() | Yes |
| Character.isLowerCase() | No |
| Character.isMirrored() | No |
| Character.isSpaceChar() | No |
| Character.isSupplementaryCodePoint() | No |
| Character.isTitleCase() | No |
| Character.isUnicodeIdentifierPart() | Yes |
| Character.isUnicodeIdentifierStart() | Yes |
| Character.isUpperCase() | No |
| Character.isValidCodePoint() | Yes |
| Character.isWhitespace() | No |
