A.3 Infix Operators

:= :- ::- = == >= >< > <= < => + - -> -> * / // ^ ** *** . .+ .* .: ./ .= .. # \ _= _| |_ with where setq or and cons cross difference divide dot eq equal expt geq greaterp intersect intersection leq lessp member memq minus mod neq plus poly_quotient quotient recip set_eq setdiff subset subset_eq times tpmat union vmod xmod xmodideal

Hosted by