TeXipedia

upharpoonleft

Represents an upward-pointing harpoon with the barb oriented to the left, commonly used in mathematical notation and arrow-like relations.

Overview

Serves as a specialized mathematical arrow variant primarily found in advanced mathematics and theoretical physics contexts.

  • Often employed in category theory to denote specific morphisms or transformations
  • Used in abstract algebra to indicate particular mappings or operations
  • Appears in specialized mathematical texts where precise directional notation is required
  • Frequently combined with other arrow symbols to create compound relations or mappings

Examples

Representing a left-pointing upward harpoon in a mathematical relation.

A↿BA \upharpoonleft B 
A \upharpoonleft B

Using upharpoonleft in a sequence convergence notation.

xn↿x as n→∞x_n \upharpoonleft x \text{ as } n \to \infty 
x_n \upharpoonleft x \text{ as } n \to \infty

Indicating a specialized mapping operation in category theory.

f:X↿Yf: X \upharpoonleft Y 
f: X \upharpoonleft Y