Coxeter group
is one of the defining relations of the Coxeter group.