An operator is a symbol that represents a total function. The signature of the operator specifies the domain and range of the function. Operators can be used with functional, infix, prefix, postfix, bracketed, and conditional notations. Usage LP automatically declares certain logical , equality , and conditional operators. All other operators must appear in a declare operators command.
Case is significant in operator identifiers.
Identifiers for most operators can be overloaded , that is, they can be used to represent operators with different signatures or with markers in different places. LP uses context to disambiguate overloaded identifiers. The arity of an operator is the number of its arguments, that is, the number of sorts in its domain. A unary operator has arity 1, a binary operator has arity 2, and a constant has arity 0.