考克斯特群
Three Coxeter group constructions.