We have now seen a lot of different definitions, rewrites, types of diagrams, normal forms, gates, etc. Just to help you process it all and give you an easy reference to look back at.
In these appendices we present several pages of cheatsheets meant for reference and for printing separately.