On a call, we discussed a few ideas to help disambiguate the meaning of a presentation MathML element by adding an attribute that gives some meaning. We agreed that by default tags should have a default meaning. For example, msup probably means "power", but if it doesn't, some other meaning should be attached.

Note the default is not a good default in some simple cases:

• the superscript is ′ (Unicode "prime" char)
• the superscript is ° (Unicode degree char)

Some some thought needs to be given as to what the default really means. I think probably a power is a better default than is a power.

One possible direction is to have something similar to csymbol's definitionURL attribtue, but people didn't like that because it is too long. Another idea is to add something similar to ARIA's roles. Maybe a mathrole attribute (or mrole?). Rather than make up names for the values, I suggest we use an existing (extensible) website such as www.wikidata.org where the role value only points to the last part of the URL. E.g., the Jacobi symbol would just be mathrole="Q241015". The downside is that without following the link, you don't know what it means just looking at it. Similarly, as an author, the names are mnemonic and thus, are hard to remember. You'd need a tool in all likelihood to generate them. Potentially, a note (not the spec) would call out some specific examples (maybe a few hundred for K12 cases) so AT manufacturers and others at least have common cases they handle.

The alternative to using wikidata.org is OpenMath. The positive side is that it is already part of content MathML. The downside is that it doesn't seem that complete and is harder to update. For example, neither the Jacobi symbol nor the Legendre symbol seem to be part of OpenMath.

Note: the math on the web CG has a page with some ambiguous notations. That's a good place to check any proposal to make sure it deals with those cases.