otherwise (constant)
A boolean constant with value true.
otherwise = true
Description
This constant can be used to write piecewise expressions in a more readable way.
Examples
myabs ≔ x ↦ piecewise(x, x ≥ 0, −x, otherwise);
mysinc ≔ x ↦ piecewise(sin(x)/x, x ≠ 0, 1, otherwise);
f ≔ x ↦ piecewise(−1, x ≤ −π/2, sin(x), x < π/2, 1, otherwise);