[Webkit-unassigned] [Bug 100626] Support semantics annotation-xml elements

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Oct 29 10:18:04 PDT 2012


https://bugs.webkit.org/show_bug.cgi?id=100626





--- Comment #5 from Dave Barton <dbarton at mathscribe.com>  2012-10-29 10:19:20 PST ---
Thanks Fred! I thought about asking about <mtext>, but don't you also want <semantics> for listing multiple representations, like <object>? And I don't get the bit about breaking Jacques' testcase - you mention defaulting to <semantics>'s first child if necessary already.

Also, I'm now finding more info in Jacques' second link:

5.1.3: A particularly important case is the use of a presentation MathML expression to indicate a preferred rendering for a content MathML expression. This case may be represented by labeling the annotation with the application/mathml-presentation+xml value for the encoding attribute. For backward compatibility with MathML 2.0, this case can also be represented with the equivalent MathML-Presentation value for the encoding attribute. Note that when a presentation MathML annotation is present in a semantics element, it may be used as the default rendering of the semantics element, instead of the default rendering of the first child.

5.2.1.1: The default rendering of a semantics element is the default rendering of its first child. A renderer may use the information contained in the annotations to customize its rendering of the annotated element.

5.3.1: In particular, any valid presentation expression can be embedded in a content expression by placing it as the first child of a semantics element.

I'd still like to hear more from other experts (David C.?). Do we have to worry about 5.1.3 above, or just render the first child, at least for now? Would this be enough for existing sites like Jacques', and match other implementations well enough?

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.


More information about the webkit-unassigned mailing list