Revision history [back]

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())