Next: Compound Terms
Up: General Syntax
Previous: Atomic Terms
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
- 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.
- Initial : (when followed by at least one
other character) represents a unary operation on operators (variable
or constant) which can be iterated. Details below.
Fri Sep 5 16:28:58 MDT 1997