TeXipedia

rightharpoondown

Represents a rightward-pointing harpoon with a downward-oriented barb, commonly used in mathematical notation for specialized mappings and operations.

Overview

Serves as a specialized arrow notation primarily found in advanced mathematics and theoretical physics contexts where specific types of mappings or transformations need to be denoted.

  • Often used in category theory and abstract algebra to indicate particular types of morphisms
  • Appears in functional analysis and operator theory to denote specific transformations
  • Frequently combined with other arrow notations to create paired relationships or indicate dual operations
  • Particularly useful in contexts where the direction and orientation of the barb carry specific mathematical meaning

Examples

Representing a downward-pointing harpoon in a vector field transformation.

T:VWT: V \rightharpoondown W
T: V \rightharpoondown W

Indicating a specific type of mapping or relation in category theory.

f:XYf: X \rightharpoondown Y
f: X \rightharpoondown Y

Denoting a partial function in mathematical logic.

ϕ:AB\phi: A \rightharpoondown B
\phi: A \rightharpoondown B