2. Notation🔗

The symbols used in the statements of the chapters that follow. This table is the single source for the notation: the Lean libraries define scoped notation to match it, so that the signatures printed beside each statement use the same symbols. The last column gives the Lean declaration, and the form in which Lean prints it where that differs from the mathematical one.

1. 2.1. Classes of definitions
2. 2.2. Bigraphs
3. 2.3. Dynamics and behaviour
4. 2.4. Logic
5. 2.5. The locus calculus (appendix)