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.