Go backward to Conditional Terms and FormulasGo up to TopGo forward to Constrained Function Definitions |

The definition

| x| := -x,ifx< 0x,else

is another form of writing

|x| :=ifx< 0then-xelsex

which introduces the *absolute value* of `x`.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999