Sign function


THEOREM    \(\forall x \in \mathbb{R} : \sgn(\sgn(x)) = \sgn(x)\)

Proof available

THEOREM    \(\max(\sgn(x), \sgn(y)) = \sgn(\max(x, y))\)

Proof available

THEOREM    \(\min(\sgn(x), \sgn(y)) = \sgn(\min(x, y))\)

Proof available