- From: Henri Sivonen <hsivonen@iki.fi>
- Date: Tue, 3 Apr 2012 15:34:35 +0300
- To: Adam Sobieski <adamsobieski@hotmail.com>
- Cc: public-webapps@w3.org, hallvord@opera.com
On Tue, Apr 3, 2012 at 4:57 AM, Adam Sobieski <adamsobieski@hotmail.com> wrote: > MathML3 includes <annotation> and <annotation-xml> elements which can > provide parallel representations of mathematical semantics > 1. Having entire proofs in <math> elements. Proof formats could then express > semantics in <annotation> or <annotation-xml> elements. OpenMath content > dictionaries could come to exist for mathematical proof structures. > > 2. Having proofs in HTML5 document structure, possibly containing one or > more <math> element instances, while utilizing XML attributes from other > XMLNS. Does any browser currently support any kind of a XML-based clipboard flavor? If you transfer MathML islands using an HTML clipboard flavor, you can't use arbitrary namespaces. > 3. Having proofs in HTML5 document structure, possibly containing one or > more <math> element instances, while utilizing RDFA > (http://dev.w3.org/html5/rdfa/). Proof structure and semantics can overlay > the HTML5 and/or the RDFA can relate elements to referenced external > resources. What kind of software do expect to consume of this kind of data? -- Henri Sivonen hsivonen@iki.fi http://hsivonen.iki.fi/
Received on Tuesday, 3 April 2012 12:35:07 UTC