6.5 Method for Using Equals
If we use equals, such as , we can define the function by substitution briefly. For example, if we
descrive as follows, we can define the function Quard(x)=x·x.
definition let x be Real;
func Quard(x) equals :A1:
x·x
correctness;
end;