From adaa04a63bc2b0e01f1bf91d2402089d74cd7259 Mon Sep 17 00:00:00 2001 From: Julien Maulny Date: Mon, 25 Mar 2024 10:59:08 +0100 Subject: [PATCH] typo fix --- doc/manual/src/language/operators.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/src/language/operators.md b/doc/manual/src/language/operators.md index 6fd66864bea..2d1ec484385 100644 --- a/doc/manual/src/language/operators.md +++ b/doc/manual/src/language/operators.md @@ -159,7 +159,7 @@ All comparison operators are implemented in terms of `<`, and the following equi | comparison | implementation | |--------------|-----------------------| -| *a* `<=` *b* | `! (` *b* `<` *a* `)` | +| *a* `<=` *b* | `! (` *b* `>` *a* `)` | | *a* `>` *b* | *b* `<` *a* | | *a* `>=` *b* | `! (` *a* `<` *b* `)` |