U+228F "⊏" Square Image Of Unicode Character

U+228F "⊏" Square Image Of is a mathematical operator used to denote a specific type of order relation, particularly in the context of lattice theory and domain theory, where it often represents the "way-below" relation or a covering relation for partial orders. In this usage, the symbol indicates that one element of a partially ordered set is "way below" another, meaning that for every directed set that has a supremum above the second element, the first element is already below some member of that directed set. Visually, the symbol resembles a square bracket facing right, with a vertical line on the left side and a horizontal line extending to the top right.

General Properties

Code Point	U+228F
Version Added	1.1
Name	Square Image Of
Block	Mathematical Operators
General Category	Math Symbol
Canonical Combining Class	Not Reordered
Bidirectional Class	Other Neutral
Mirrored	Yes
Mirrored Character	"⊐" U+2290 Square Original Of

Encodings

HTML Decimal Encoding	⊏
HTML Hex Encoding	⊏
UTF-8 Encoding	0xE2 0x8A 0x8F
UTF-16 Encoding	0x228F
UTF-32 Encoding	0x0000228F
C/C++/Java Escape	\u228f

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