U+2908 "⤈" Downwards Arrow with Horizontal Stroke Unicode Character

U+2908 "⤈" Downwards Arrow with Horizontal Stroke is a mathematical arrow symbol that combines a downward arrow with a horizontal line crossing its shaft, typically used in formal logic or proofs to indicate a logical operation such as "implies" or a specific type of relational mapping where a downward direction is linked to a horizontal constraint. It belongs to the Supplemental Arrows-B block, which includes various arrows for technical contexts like math, computer science, and notation in set theory or lattice diagrams. This character is visually distinct from a standard arrow because the horizontal stroke adds a layer of meaning, often representing a fixed or constrained downward movement in specialized technical writing.