U+2907 "⤇" Rightwards Double Arrow from Bar Unicode Character

U+2907 "⤇" Rightwards Double Arrow from Bar is a mathematical symbol typically used to denote a specific type of logical or relational implication, often representing a mapping, a transformation, or a biconditional-like relationship where the arrow originates from a vertical bar indicating a fixed starting point or a restriction. It belongs to the Supplemental Arrows-B block, which contains various specialized arrow symbols for use in formal logic, mathematics, and technical notation, and its distinctive bar at the tail sets it apart from a standard double arrow by emphasizing a precondition or a domain boundary for the indicated direction.