A directional arrow symbol with an upper half-barb pointing leftward, used in homotopy theory and category diagrams.
