To add or remove an operator, use
op/3 declares the atom Name
to be an operator of the stated Type and Precedence. If
Precedence is 0, then the operator properties of Name
(if any) are cancelled.
To examine the set of operators currently in force, use