Coxeter_symbol loading ...