11. Notations and Macros🔗

  1. 11.1. Notations
  2. 11.2. Syntax Categories and Extensions
  3. 11.3. Macros
  4. 11.4. Elaborators