diff options
| author | Felix Uhl <felix.uhl@netlight.com> | 2023-01-31 14:20:51 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-02-07 23:06:14 +0100 |
| commit | d910dfe97892dcf26e83b6d591d46fbdfe2c0944 (patch) | |
| tree | a2f4c43a8e95052ec684ae9ecd730f88c30ab1f1 /doc | |
| parent | 32db5e63494436b67d71d9393220dcafc34e5227 (diff) | |
docs: Fix formatting of || operator
This is a workaround for
[mdBook#2000](https://github.com/rust-lang/mdBook/issues/2000)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/src/language/operators.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/language/operators.md b/doc/manual/src/language/operators.md index 208d65839..90b325597 100644 --- a/doc/manual/src/language/operators.md +++ b/doc/manual/src/language/operators.md @@ -24,7 +24,7 @@ | [Equality] | *expr* `==` *expr* | none | 11 | | Inequality | *expr* `!=` *expr* | none | 11 | | Logical conjunction (`AND`) | *bool* `&&` *bool* | left | 12 | -| Logical disjunction (`OR`) | *bool* `\|\|` *bool* | left | 13 | +| Logical disjunction (`OR`) | *bool* <code>\|\|</code> *bool* | left | 13 | | [Logical implication] | *bool* `->` *bool* | none | 14 | [string]: ./values.md#type-string |