A directional arrow symbol with a half-barb pointing downward on the left side, used in advanced algebra and category theory.
A directional arrow symbol with a half-barb pointing downward on the left side, used in advanced algebra and category theory.