Unicode Character 'SUBSET OF ABOVE TILDE OPERATOR' (U+2AC7) | 
		  ![]()  | 
	
SUBSET OF ABOVE TILDE OPERATOR
			SUBSET OF ABOVE TILDE OPERATOR
| Unicode Data | |
|---|---|
| Name | SUBSET OF ABOVE TILDE OPERATOR | 
| Block | Supplemental Mathematical Operators | 
| Category | Symbol, Math [Sm] | 
| Combine | 0 | 
| BIDI | Other Neutrals [ON] | 
| Mirror | Y | 
| Version | Unicode 3.2.0 (March, 2002) | 
| Encodings | |
|---|---|
| HTML Entity (decimal) | ⫇ | 
| HTML Entity (hex) | ⫇ | 
| HTML Entity (named) | ⫇ | 
		
| How to type in Microsoft Windows | Alt +2AC7 | 
	
| UTF-8 (hex) | 0xE2 0xAB 0x87 (e2ab87) | 
| UTF-8 (binary) | 11100010:10101011:10000111 | 
| UTF-16 (hex) | 0x2AC7 (2ac7) | 
| UTF-16 (decimal) | 10,951 | 
| UTF-32 (hex) | 0x00002AC7 (2AC7) | 
| UTF-32 (decimal) | 10,951 | 
| C/C++/Java source code | "\u2AC7" | 
| Python source code | u"\u2AC7" | 
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | ⫇ | 
| string.toLowerCase() | ⫇ | 
| Character.UnicodeBlock | SUPPLEMENTAL_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 |