next up previous contents
Next: Compound Terms Up: General Syntax Previous: Atomic Terms

Operators

Operators may be either unary prefix or binary infix. A unary prefix operator is understood in the current version as representing the same operation as the infix with the same shape, but with a default left argument which depends in the infix. Operators fall into three classes:

constant:
Strings of special characters other than ?, _ or paired forms like brackets, braces, and parentheses, additionally not beginning with ^ or :. A single ^ or : is also a constant operator.

free variable:
As above, but with initial ^ and at least one other character.

type-raised:
Initial : (when followed by at least one other character) represents a unary operation on operators (variable or constant) which can be iterated. Details below.



Randall Holmes
Fri Sep 5 16:28:58 MDT 1997