Coxeter group
Three Coxeter group constructions.