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.