LP, the Larch Prover — Notational conventions

• Syntax descriptions
• Symbols
• Keywords