Fix backslash docs

2023-12-16 19:01:39 +01:00
parent a66b93c96f
commit 45abb4703d
2 changed files with 13 additions and 13 deletions
--- 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).