Binary operators

There is no mechanism for user definition of infix operators, but the following binary operators are supported: $+$, $-$, $*$, $/$, $\%$, $=$, $<>$, $<$, $<=$, $>$, $>=$, $::$, ^, and, and or. They are identical to SML operators, save that SML div becomes $/$, mod becomes $\%$, andalso becomes and, and orelse becomes or.