diagram for a batmonoid for the braid group of the exceptional reflexion group B
13
the generators are the vertices
three successive vertices a,b,c on a same arc (in clockwise order) mean the quasi-commutation ab=bc
