U+22B7 "⊷" Image Of Unicode Character

U+22B7 "⊷" Image Of is a mathematical symbol representing the relation of an image of one set or structure under a mapping, often used in category theory, algebra, or formal logic to denote that something is the image of something else. It appears as a typically square-shaped symbol with a small circle attached to its top right corner, resembling a rotated or stylized version of the logical "implies" sign. This character is part of the Unicode Mathematical Operators block and is distinct from related symbols like the "Original Of" ⊶ symbol, with its specific orientation indicating the direction of the mapping from an original to its image. As a relatively rare glyph, it is primarily employed in specialized mathematical notation rather than in general text.