U+21A7 "↧" Downwards Arrow from Bar Unicode Character

U+21A7 "↧" Downwards Arrow from Bar is a typographic symbol that depicts a vertical arrow pointing downward with a horizontal bar across its top, and it is commonly used in mathematical notation, engineering diagrams, and computer science to indicate a mapping, a reduction, or a downward operation such as a projection or a minimum value in lattice theory. In logic and formal systems, it can represent the bottom element or infimum, while in interface design or technical documentation it may denote a drop-down menu or a downward movement that starts from a fixed starting point. This character belongs to the Arrows block in the Unicode standard and is distinct from other similar arrows due to its bar, which anchors the arrow at a specific baseline.