U+2917 "⤗" Rightwards Two-Headed Arrow with Tail with Vertical Stroke Unicode Character

U+2917 "⤗" Rightwards Two-Headed Arrow with Tail with Vertical Stroke is a specialized typographic symbol used primarily in mathematical notation, logic, and diagrammatic contexts to represent a bidirectional relationship with a specific constraint or modification. Its design combines a rightward pointing two headed arrow, indicating movement or mapping in one direction, with a tail that suggests a conditional or restricted property, and a vertical stroke that further refines its meaning, often standing for a relation like "maps to under a specific rule" or "implies with an additional condition" in formal systems such as set theory or category theory.