[SCL] Adopting MathML conventions for CLML

[John F. Sowa]

Folks,

I've been looking at the MathML web pages, and their
representations for mathematical formulas are very similar
to the conventions we have been considering for CLML.

We should consider the possibility of adopting their
conventions and abbreviations for CLML.  That would have
several advantages:

 1. We could print or display any CLML formulas just by
    putting a wrapper around them that says they are MathML
    and use any browser to format, print, or display them.

 2. The MathML people have already addressed some issues that
    we would have to consider in CLML, such as ensuring that
    bound variables are associated with the appropriate
    declaration (i.e. quantifier).  See their web page:

    http://www.w3.org/TR/2003/NOTE-mathml-bvar-20031110/

 3. We would get brownie points with the W3C crowd by adopting
    some of their established conventions.

Following is the main MathML web page:

   http://www.w3.org/Math/

John