1.  Notation

      In the following pages syntactic categories are in italics; literals are in bold; material in brackets [] is optional.