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