U+297B "⥻" Superset Above Leftwards Arrow Unicode Character

U+297B "⥻" Superset Above Leftwards Arrow is a mathematical symbol included in the Supplemental Arrows-B block, used primarily in formal logic and set theory to denote a special relational or functional mapping where a superset relationship is combined with a leftward directional arrow. It visually merges a superset sign (⊃) placed above a leftwards arrow (←), symbolizing a reversed or co-mapping relationship, often in contexts like category theory or type theory to indicate a left adjoint or a backward implication within a larger structure. This character supports precise notation in technical documents without relying on combining marks or custom graphics.