Reference¶

These pages are for looking things up rather than reading through. They describe what the notes use, completely and in a fixed format, without explanation.

• Tactics: every tactic in the notes, what it does, where it first appears and which library provides it.
• Symbols: every symbol that is not on a keyboard, how to type it and what it means.