From 45abb4703dead87759cc4c11dacba1541b3bf56d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Sat, 16 Dec 2023 19:01:39 +0100 Subject: [PATCH] Fix backslash docs --- src/lib/clpb.pl | 24 ++++++++++++------------ src/lib/clpz.pl | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl index 4dde600b..6ee1b460 100644 --- a/src/lib/clpb.pl +++ b/src/lib/clpb.pl @@ -189,18 +189,18 @@ A _Boolean expression_ is one of: | `1` | true | | _variable_ | unknown truth value | | _atom_ | universally quantified variable | -| ~ _Expr_ | logical NOT | -| _Expr_ + _Expr_ | logical OR | -| _Expr_ * _Expr_ | logical AND | -| _Expr_ # _Expr_ | exclusive OR | -| _Var_ ^ _Expr_ | existential quantification | -| _Expr_ =:= _Expr_ | equality | -| _Expr_ =\= _Expr_ | disequality (same as #) | -| _Expr_ =< _Expr_ | less or equal (implication) | -| _Expr_ >= _Expr_ | greater or equal | -| _Expr_ < _Expr_ | less than | -| _Expr_ > _Expr_ | greater than | -| card(Is,Exprs) | cardinality constraint (_see below_) | +| `~` _Expr_ | logical NOT | +| _Expr_ `+` _Expr_ | logical OR | +| _Expr_ `*` _Expr_ | logical AND | +| _Expr_ `#` _Expr_ | exclusive OR | +| _Var_ `^` _Expr_ | existential quantification | +| _Expr_ `=:=` _Expr_ | equality | +| _Expr_ `=\=` _Expr_ | disequality (same as #) | +| _Expr_ `=<` _Expr_ | less or equal (implication) | +| _Expr_ `>=` _Expr_ | greater or equal | +| _Expr_ `<` _Expr_ | less than | +| _Expr_ `>` _Expr_ | greater than | +| `card(Is,Exprs)` | cardinality constraint (_see below_) | | `+(Exprs)` | n-fold disjunction (_see below_) | | `*(Exprs)` | n-fold conjunction (_see below_) | diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 23c909e9..5a1b564a 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -1735,7 +1735,7 @@ intervals_to_domain(Is, D) :- % _Lower_ must be an integer or the atom *inf*, which % denotes negative infinity. _Upper_ must be an integer or % the atom *sup*, which denotes positive infinity. -% * Domain1 \/ Domain2 +% * Domain1 `\/` Domain2 % The union of Domain1 and Domain2. Var in Dom :- clpz_in(Var, Dom). -- 2.54.0