Codex @codex  0

A Coxeter system $(W,I,M)$ records a Coxeter group $W$, its set $I$ of simple generators, and its Coxeter matrix $M=(m_{ij})$.