NonPositiveReals
NonPositiveReals represents the domain of non-positive real numbers.
Examples
Test membership:
Element[-1.5, NonPositiveReals]
(* True *)Positive fails:
Element[0.5, NonPositiveReals]
(* False *)Something isn't working? Report an issue.
Please visit the official Wolfram Language Reference for more details.