Infix 4 "+" plus.
Infix 3 "*" mult.
Infix 1 "<=" le.
Infix 1 "<" lt.
Infix 1 ">=" ge.
(* Infix 1 ">" gt.*)