\upharpoonleftThe \upharpoonleft symbol is used to denote a leftward harpoon, often used in mathematical contexts to represent functions or mappings that are injective or have some specific property related to directionality.
Denotes a function f restricted to the set A with a specific property.
f \upharpoonleft ARepresents a mapping or function applied to elements x in the set X with a leftward directionality.
\upharpoonleft_{x \in X} f(x)Indicates a function g from set B to set C with a leftward harpoon, suggesting a specific type of mapping or restriction.
g \upharpoonleft B \to C