U+27FC "⟼" Long Rightwards Arrow from Bar Unicode Character

U+27FC "⟼" Long Rightwards Arrow from Bar is a mathematical symbol typically used to denote the mapping of an element from a set to a specific value or image, often in the context of set theory, group theory, or linear algebra. In formal notation, it commonly appears in expressions like f: x ⟼ y, signifying that the function f sends the element x to y. Its design features a longer horizontal shaft than the standard arrow, with a vertical bar at its tail, distinguishing it from simpler arrows and emphasizing the act of mapping or transformation. This symbol is part of the Unicode block for supplemental arrows and remains essential in academic and technical writing involving algebraic structures or functional relationships.