On Tue, Apr 3, 2012 at 4:57 AM, Adam Sobieski <adamsobie...@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 hsivo...@iki.fi http://hsivonen.iki.fi/