Modern HOL4 surface syntax
Document moved here:
HOL4 Guidebook: “Modern” Surface Syntax