Basics for making mathematical diagrams in category theory, abstract algebra, etc.
Generators and relations for Artin’s braid group.