Hi Giuseppe,

The reason is the specification: entities in comments are adopted without change (i.e. in their literal representation) [1]. The following example expression will be successfully evaluated:

<!--&#123xyz;-->/data()

Cheers, Christian

[1] https://www.w3.org/TR/xquery-31/#doc-xquery31-DirCommentContents

On Tue, Nov 17, 2020 at 6:18 PM Giuseppe G. A. Celano celano@informatik.uni-leipzig.de wrote:

Hi,

<!--&#45;-->/data() is printed as &#45; , while "&#45;” as - (even if both are xs:string): is there a reason? In any case, is there a function to convert <!--&#45;--> into - ? Thanks.

Best, Giuseppe