let infixop3 =
          Gram.Entry.mk "infix operator (level 3) (start with '*', '/', '%')"