Equation
Jump to navigation
Jump to search
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.