$I_{x \geq 0}$ denotes an D41: Indicator function where the convention N641: Denoting the basis set for an indicator function as a predicate statement has been applied.