A downward-pointing harpoon arrow with a right-facing barb used in functional analysis and abstract algebra.
