The ⊏ Symbol (Square Image Of): Meaning, Unicode, and Uses

The ⊏ symbol, formally recognized in the Unicode standard as "Square Image Of," is a mathematical operator primarily used in logic, set theory, and abstract algebra. Visually resembling a squared-off letter "C" or an isolated partial square bracket, this symbol often represents the concept of a "square subset" or an image mapping in specific mathematical frameworks. While mostly found in dense academic papers, its crisp geometric shape occasionally makes an appearance in creative typography, kaomoji, and digital art across the web.

Assigned the code point U+228F, the ⊏ symbol lives in the Mathematical Operators Unicode block. This specific block spans from U+2200 to U+22FF and houses a massive collection of characters dedicated to mathematical, scientific, and logical notation.

In higher-level mathematics and formal logic, ⊏ typically denotes a specific structural relation between two elements or sets. Depending on the exact algebraic context, mathematicians use it to represent a square subset or an image mapping relationship, distinguishing it from standard subsets. Beyond the chalkboard, you will frequently spot ⊏ in programming environments that support mathematical markup. In LaTeX, the standard typesetting system for scientific documents, the symbol is generated using the `\sqsubset` command. Because of its distinct, sharp-angled look, creative internet users sometimes repurpose ⊏ in text-based emoticons or ASCII art to build tiny digital boxes, robot faces, or mechanical elements on social media platforms.

Typing the ⊏ symbol requires a few quick tricks depending on your device. On Windows, you can copy and paste it from the built-in Character Map utility, or type the hex code 228F followed by Alt + X in Microsoft Word. Mac users can easily access it via the Character Viewer by pressing Control + Command + Space and searching for "Square Image Of". If you are a web developer looking to hardcode this symbol into a site, you can reliably render it using the HTML entity `⊏`.

The ⊏ character belongs to a distinct family of squared operators. It directly pairs with its mirror counterpart, ⊐ (Square Original Of, U+2290). It also visually and functionally contrasts with the standard curved subset symbol, ⊂ (Subset Of, U+2282). While the curved version is a staple in standard set theory taught in high school classrooms everywhere, the squared ⊏ remains reserved for highly specialized structural relations in advanced algebra.