U+2916 "⤖" Rightwards Two-Headed Arrow with Tail Unicode Character

U+2916 "⤖" Rightwards Two-Headed Arrow with Tail is a mathematical and logical symbol that represents a specific directional mapping or implication, often indicating a function that is both injective and surjective (a bijection) with a constrained or resultant outcome, as the two heads signify bidirectionality or a two-way relationship while the tail attaches a condition or limitation. It belongs to the Supplemental Arrows-B block and is used in advanced notation within set theory, category theory, and formal logic to denote an isomorphic or strongly reversible transformation. Its design combines a standard rightward arrow with an additional arrowhead on the left and a small vertical tail at the bottom of the shaft, distinguishing it from simpler arrow symbols.