let infixop1 =
          Gram.Entry.mk "infix operator (level 1) (start with '^', '@')"