U+21A3 "↣" Rightwards Arrow with Tail Unicode Character

U+21A3 "↣" Rightwards Arrow with Tail is symbolically distinct from a standard rightwards arrow due to the small horizontal line or "tail" attached to its shaft, which often indicates a specific semantic nuance in formal logic and mathematics. In these fields, it is commonly used to represent the "leads to" relation in sequent calculus or the implication connective in arrow notation for logical proofs. It can also denote a one-way mapping or a non-symmetric relation where the tail emphasizes the directionality or a procedural step. Visually, it resembles a blend of a rightward arrow and a short crossbar, setting it apart from simpler arrow symbols in the Unicode standard.