restricted Weyl group