ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11975 on D109: Signum function
F11975
Formulation 0
The signum function is the D4948: Integer function \begin{equation} \mathbb{R} \to \{ -1, 0, 1 \}, \quad I_{(0, \infty)} (x) - I_{(-\infty, 0)} (x) \end{equation}