On 27. Apr 2023, at 13:38, Christian Grün <christian.gruen@gmail.com> wrote:

Hi Giuseppe,

I’m sorry, I fail to understand how to simulate your use case. Could
you please provide us with a minimized code snippet for testing?

I have the comment node <!—&#45;—>.

I assume it’s -- instead of —?

If I extract its content with data() in an element, I get the following: <g>&amp;#45;</g>, and it seems there is no way to force &amp;#45; to become &#45; within the element.

I tried this:

let $comment := <!-- &#45; -->
return element g { $comment }

It gives me <g><!-- &#45; --></g>. I assume it differs from your approach?

Grazie in anticipo,
Christian