diff options
Diffstat (limited to 'library/numbers.tex')
| -rw-r--r-- | library/numbers.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/library/numbers.tex b/library/numbers.tex index 7d1b058..f7f6c2c 100644 --- a/library/numbers.tex +++ b/library/numbers.tex @@ -409,15 +409,15 @@ Definition of the order symbols \end{abbreviation} \begin{abbreviation}\label{less_on_reals} - $x \leq y$ iff it is wrong that $y < x$. + $x \leq y$ iff $x < y \lor x = y$. \end{abbreviation} \begin{abbreviation}\label{greater_on_reals} - $x > y$ iff $y \leq x$. + $x > y$ iff $y < x$. \end{abbreviation} \begin{abbreviation}\label{greatereq_on_reals} - $x \geq y$ iff it is wrong that $x < y$. + $x \geq y$ iff $y \leq x$. \end{abbreviation} |