Heaviside step function of nonzero real numbers

Heaviside step function of nonzero real numbers
Notation	'"`UNIQ--postMath-00000001-QINU`"'
Range	'"`UNIQ--postMath-00000002-QINU`"' set of boolean numbers
Domain	'"`UNIQ--postMath-00000003-QINU`"' set of nonzero real numbers
Functions
Derivative	constant zero function of nonzero real numbers
Integral	positive part function plus constant
Second iterate	constant one function of positive real numbers

The Heaviside step function of nonzero real numbers is a function for nonzero real numbers that equals zero when the number is negative, and one when the number is positive.