Define menclose@notation as a set of space-separated tokens

[fred-wang]

Definition in MathML full is:
https://mathml-refresh.github.io/mathml/chapter3.html#presm.menclose

After #21, we can now define it as "set of space-separated tokens":
https://html.spec.whatwg.org/multipage/common-microsyntaxes.html#space-separated-tokens

The proposal is to define it as a "unordered set of unique space-separated tokens" like it is done for iframe@sandbox https://html.spec.whatwg.org/multipage/iframe-embed-object.html#the-iframe-element:unordered-set-of-unique-space-separated-tokens

i.e. do not allow values like "circle circle".

[fred-wang]

WebKit and Gecko will typically treat duplicate notation values as equivalent to a single notation. This is consistent with the MathML suggestion "Each should be rendered as if the others were not present; they should not nest one inside of the other."

[davidcarlisle]

seems OK to me, and I'd suggest we make a similar change in full.

…

On Fri, 14 Jun 2019 at 16:08, Frédéric Wang ***@***.***> wrote: WebKit and Gecko will typically treat duplicate notation values as equivalent to a single notation. This is consistent with the MathML suggestion "Each should be rendered as if the others were not present; they should not nest one inside of the other." — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#104>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAJVYASX6HFKW3M2OGHJR6TP2OX55ANCNFSM4HYIXJVQ> .

[fred-wang]

I updated the menclose desc to rely on MathML3 and here is the proposed definition: https://mathml-refresh.github.io/mathml-core/#attribute-notation ; if people disagree I can still update later.

[fred-wang]

Consensus during last meeting: we should actually relax this definition to be compatible with MathML3. This has been updated.

[fred-wang]

This seems fixed.