Here are a number of unary, prefix operators:
We regard a prefix operator as having only a right hand subtree. We must decide which of the above may be right associative. That is, which of the following make sense:
+ + 1Of these possibilities, we only accept
:- :- a
SPM_quot"/1 as right associative.