U+2B3C "⬼" Leftwards Two-Headed Arrow with Tail with Vertical Stroke Unicode Character

U+2B3C "⬼" Leftwards Two-Headed Arrow with Tail with Vertical Stroke is a typographic symbol used in mathematics and formal logic to represent a specific kind of bidirectional or functional relation, often indicating a leftward mapping or transformation that is both two-headed (implying a leftwards correspondence or equivalence) and modified by a tail with a vertical stroke, which can denote a partial, restricted, or domain-specific operation within notational systems.