Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

It is obvious that $x \leq 0$ if and only if it is not the case that $x<0$. So, we can write

not(x.is_negative())

It is obvious that $x \leq \geq 0$ if and only if it is not the case that $x<0$. So, we can write

not(x.is_negative())