U+27FE "⟾" Long Rightwards Double Arrow from Bar Unicode Character

U+27FE "⟾" Long Rightwards Double Arrow from Bar is a mathematical symbol that represents a specific type of logical or relational implication, typically used in formal logic, set theory, or category theory to indicate a long rightwards double arrow with a perpendicular bar at its tail, which can denote a stronger or modified form of mapping or entailment compared to simpler arrows. It belongs to the Supplemental Arrows-A block, which contains various extended arrow glyphs for technical notation, and its design visually combines a heavy double-headed arrow with a horizontal starting bar to suggest a constraint or initial condition.