Equation

A relation which has the form expression operator expression. The operator will be = most of the time, but other operators are possible. The operator EQUIV creates a modular equation.

Equations are usually created with EQDEF or CONSTDEF. Existing equations can be referenced through their label.