4.1.7 Formal Syntax

• ref-syn-syn-ove: Overview
• ref-syn-syn-not: Notation
• ref-syn-syn-sen: Syntax of Sentences as Terms
• ref-syn-syn-trm: Syntax of Terms as Tokens
• ref-syn-syn-tok: Syntax of Tokens as Character Strings
• ref-syn-syn-esc: Escape Sequences
• ref-syn-syn-nte: Notes