Reflection of a Coxeter group (source code)

= Reflection of a Coxeter group

A reflection of a Coxeter system $(W,S)$ is a conjugate $wsw^{-1}$ of a simple generator $s\in S$.