U+295D "⥝" Downwards Harpoon with Barb Right from Bar Unicode Character

U+295D "⥝" Downwards Harpoon with Barb Right from Bar is a mathematical symbol used in notation for functions, mappings, or relational arrows in fields like category theory and logic, where it typically represents a specific type of downward pointing harpoon with its barb oriented to the right, starting from a vertical bar that suggests a fixed point or base. It belongs to the Supplemental Arrows-B block and is encoded for use in technical texts and mathematical typesetting to convey directional or functional relationships with precision.