Let $G$ be a group acting on a set $S$. For a subgroup $H$ of $G$, denote by $NH$ the normalizer of $H$ in $G$ and let $WH = NH/H$. The quotient $WH$ is the Weyl group.
Wikidata ID: Q768074