Unicode Character 'TILDE OPERATOR' (U+223C) |
  |
TILDE OPERATOR
TILDE OPERATOR
| Unicode Data | |
|---|---|
| Name | TILDE OPERATOR |
| Block | Mathematical Operators |
| Category | Symbol, Math [Sm] |
| Script | Common (Zyyy) |
| Combine | 0 |
| BIDI | Other Neutrals [ON] |
| Mirror | REVERSED TILDE (U+223D) |
| Index entries | apl tilde cycle difference between not proportional to similar to TILDE OPERATOR tilde, apl varies with |
| Comments | Formal Alias: varies with (proportional to) Formal Alias: difference between Formal Alias: similar to Formal Alias: not Formal Alias: cycle Formal Alias: APL tilde |
| See Also | tilde U+007E not sign U+00AC small tilde U+02DC |
| Version | Unicode 1.1.0 (June, 1993) |
| Encodings | |
|---|---|
| HTML Entity (decimal) | ∼ |
| HTML Entity (hex) | ∼ |
| HTML Entity (named) | ∼: ∼ ∼: ∼ ∼: ∼ ∼: ∼ ∼⃒: ∼⃒ |
| How to type in Microsoft Windows | Alt +223C |
| UTF-8 (hex) | 0xE2 0x88 0xBC (e288bc) |
| UTF-8 (binary) | 11100010:10001000:10111100 |
| UTF-16 (hex) | 0x223C (223c) |
| UTF-16 (decimal) | 8,764 |
| UTF-32 (hex) | 0x0000223C (223c) |
| UTF-32 (decimal) | 8,764 |
| C/C++/Java source code | "\u223C" |
| Python source code | u"\u223C" |
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | ∼ |
| string.toLowerCase() | ∼ |
| Character.UnicodeBlock | MATHEMATICAL_OPERATORS |
| 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() | Yes |
| Character.isSpaceChar() | No |
| Character.isSupplementaryCodePoint() | No |
| Character.isTitleCase() | No |
| Character.isUnicodeIdentifierPart() | No |
| Character.isUnicodeIdentifierStart() | No |
| Character.isUpperCase() | No |
| Character.isValidCodePoint() | Yes |
| Character.isWhitespace() | No |
