for x being Real holds signum . (- x) = - (signum . x)