U+21F7 "⇷" Leftwards Arrow with Vertical Stroke Unicode Character

U+21F7 "⇷" Leftwards Arrow with Vertical Stroke is a typographic symbol classified under the Arrows block, representing a leftward pointing arrow that is bisected by a vertical line at its center. This design is often used in mathematical notation, logic, or diagrammatic contexts to denote a specific directional function, such as a leftward operation or mapping with a vertical constraint or termination. It belongs to the broader set of arrows with strokes and tails that can serve as functional operators in formal systems or as visual cues in technical illustrations, but it is not commonly found in standard text and may require a supporting font for proper display.