Duplication Error in Documentation for sum/3

[jgarte]

Hi, it looks like there is a duplication error here?

The sum of elements of the list Vars is in relation Rel to Expr. Rel is one of #=, #=, #<, #>, #=< or #>=. For example:

That is, there are two #= and #= should only be stated once?

https://www.scryer.pl/clpz.html#sum/3

[triska]

Good catch, thank you for reporting this!

This is a rendering issue, please see the source file for what the documentation is intended to say:

scryer-prolog/src/lib/clpz.pl

Line 2276 in 9cc170f

% Rel is one of #=, #\=, #<, #>, #=< or #>=. For example: