Yes - that symbol is generally used to restrict a function to a smaller domain.
While reading the book Representations of Finite and Compact Groups by Barry Simon I came upon the notation which he fails to define. From context I would guess it means "restriction" but I can't be sure. For example here's some context
Let be a representation of on and suppose that is invariant under . Then, and define representations and and is equivalent to