# 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);