Hello friends,

While reading the bookRepresentations of Finite and Compact Groupsby 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