\upharpoonright

The symbol \upharpoonright is used to denote the restriction of a function to a subset of its domain. It is often used in mathematical contexts where a function is being limited to a particular subset, and is represented as an upward-pointing harpoon to the right.

Examples

The function f is restricted to the subset A of its domain.

f \upharpoonright A

The function g is restricted to the interval [0,1].

g \upharpoonright [0,1]

The function h is restricted to the subset S.

h \upharpoonright S