Unicode Character 'ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE' (U+22F3)

previous character next character

U+22F3 browser display

ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE

image of Unicode Character 'ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE' (U+22F3)
Raster image of U+22F3

ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE

Unicode Data
Name ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Block Mathematical Operators
Category Symbol, Math [Sm]
Script Common (Zyyy)
Combine 0
BIDI Other Neutrals [ON]
Mirror CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE (U+22FB)
Version Unicode 3.2.0 (March, 2002)
Encodings
HTML Entity (decimal) ⋳
HTML Entity (hex) ⋳
HTML Entity (named) ⋳
How to type in Microsoft Windows Alt +22F3
UTF-8 (hex) 0xE2 0x8B 0xB3 (e28bb3)
UTF-8 (binary) 11100010:10001011:10110011
UTF-16 (hex) 0x22F3 (22f3)
UTF-16 (decimal) 8,947
UTF-32 (hex) 0x000022F3 (22f3)
UTF-32 (decimal) 8,947
C/C++/Java source code "\u22F3"
Python source code u"\u22F3"
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