Coxeter group
Coxeter group structure.