I'm wrong.

The "/" form deduplicates and sorts into document order.

Michael Kay
Saxonica

> On 3 Aug 2022, at 19:37, Michael Kay mike@xxxxxxxxxxxx
<xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote:
>
>
>
>> On 3 Aug 2022, at 18:54, Chris Papademetrious
christopher.papademetrious@xxxxxxxxxxxx
<xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote:
>>
>> Taking the opportunity to ask a dumb question (which seems to define my
participation on this list!), what's the difference between these?
>>
>> current-group()/self::my-element
>> current-group()[self::my-element]
>>
>> - Chris
>>
>
>
> They are equivalent.
>
> Bonus points to anyone who can provide an elegant proof...
>
> Michael Kay
> Saxonica