\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.
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