- From: Norm Tovey-Walsh <norm@saxonica.com>
- Date: Wed, 29 Nov 2023 10:57:45 +0000
- To: public-ixml@w3.org
Received on Wednesday, 29 November 2023 10:59:32 UTC
"C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com> writes:
> and replace them with:
>
> @name: namestart, namefollower*, ('.', namefollower*)*.
Did you mean this:
@name: namestart, namefollower*, ('.', namefollower+)*.
or am I confused?
> -namestart: ["_"; L].
> -namefollower: namestart; ["-·‿⁀"; Nd; Mn].
>
> or alternatively:
>
> @name: namestart, (namefollower ** '.').
> -namestart: ["_"; L].
> -namefollower: namestart; ["-·‿⁀"; Nd; Mn].
The second alternative seems equivalent and simpler, to my eyes.
Be seeing you,
norm
--
Norm Tovey-Walsh
Saxonica
Received on Wednesday, 29 November 2023 10:59:32 UTC