Coxeter diagram#Paracompact (Koszul simplex groups)