U+21A6 "↦" Rightwards Arrow from Bar Unicode Character

U+21A6 "↦" Rightwards Arrow from Bar is a mathematical and logical notation symbol that depicts an arrow with a short vertical bar at its tail, originating from the arrow's starting point. It is commonly used in mathematics to represent the mapping of an element from a domain to a codomain, particularly in the context of functions or relations, such as in set theory or lambda calculus where it denotes the assignment or transformation of a specific input to an output. The symbol also appears in computer science for representing function definitions or pointer assignments in theoretical diagrams, and it is distinct from the simpler rightwards arrow due to the bar that suggests a defined source or initialization.