Arai notations
Drawing Laver tables
TikZ file for drawing patterns of resemblance diagrams