TeXipedia

leftharpoondown

Displays a left-pointing harpoon symbol with the barb pointing downward, commonly used in mathematical notation and arrow-based relations.

Overview

Serves as a specialized mathematical arrow notation frequently encountered in advanced algebra, category theory, and theoretical mathematics.

  • Often used to denote specific mappings or transformations where direction and orientation are significant
  • Appears in specialized mathematical texts to indicate particular types of morphisms or operations
  • Commonly paired with other harpoon arrows to create bidirectional relations or indicate dual concepts
  • Particularly useful in abstract algebra and advanced mathematical notation where standard arrows are insufficient to convey precise meaning

Examples

Representing a left harpoon-down arrow in a mathematical relation

ABA \leftharpoondown B
A \leftharpoondown B

Indicating a one-way mapping between sets

f:XYf: X \leftharpoondown Y
f: X \leftharpoondown Y