Detailed information is found in the reference pages for the following:
current_op(P,T,A) ISO
atom A is an operator of type T with precedence P
op(P,T,A) ISO
make atom A an operator of type T with precedence P