upharpoonright
Represents a right-pointing harpoon with an upward barb, commonly used in mathematical logic and set theory.
Overview
Serves as a specialized mathematical operator frequently encountered in advanced mathematical notation, particularly in formal logic, set theory, and abstract algebra.
- Often used to denote restriction mappings or specialized binary relations
- Appears in proofs and formal mathematical writing to indicate specific transformations or operations
- Common in academic papers and advanced mathematical texts where precise notation is essential
- Pairs naturally with \downharpoonright for expressing complementary concepts
Examples
Defining a function restriction to a subset.
f \upharpoonright A = \{(x,y) \in f : x \in A\}Specifying a group action restricted to a subgroup.
\phi \upharpoonright H : H \to GDenoting the restriction of a measure to a measurable set.
\mu \upharpoonright E(\Omega)