let
infixop0 =
Gram
.
Entry
.mk
"infix operator (level 0) (comparison operators, and some others)"