U+22FC "⋼" Small Contains with Vertical Bar at End of Horizontal Stroke Unicode Character

Unicode Version 17.0

U+22FC "⋼" Small Contains with Vertical Bar at End of Horizontal Stroke is a mathematical symbol primarily used in set theory and logic to denote a variation of the "contains" relationship, often indicating a modified or restricted containment where the vertical bar at the end of the horizontal stroke may represent a specific constraint or condition, such as a subscript or a functional modification. It belongs to the "Miscellaneous Mathematical Symbols-A" block and is designed for precise notation in formal systems, distinguishing it from the standard "contains as member" symbol (U+220B ∋) by its smaller size and additional stroke detail. This character can be employed in academic texts or computer science contexts to express nuanced relational operations, though it remains less common than its simpler counterparts.

General Properties

Code Point U+22FC
Version Added 3.2
Name Small Contains with Vertical Bar at End of Horizontal Stroke
Block Mathematical Operators
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral
Mirrored Yes
Mirrored Character "⋴" U+22F4 Small Element of with Vertical Bar at End of Horizontal Stroke

Encodings

HTML Decimal Encoding ⋼
HTML Hex Encoding ⋼
UTF-8 Encoding 0xE2 0x8B 0xBC
UTF-16 Encoding 0x22FC
UTF-32 Encoding 0x000022FC
C/C++/Java Escape \u22fc

Unicode Properties

NFC Quick Check Yes
NFD Quick Check Yes
NFKC Quick Check Yes
NFKD Quick Check Yes
Numeric Type None
Numeric Value NaN
Line Break Alphabetic
Script Common
Script Extensions Common
Indic Syllabic Category Other
Pattern Syntax Yes
Math Yes
Vertical Orientation Rotated
Grapheme Base Yes
Grapheme Cluster Break Other
Word Break Other
Sentence Break Other