W3C home > Mailing lists > Public > www-math@w3.org > April 2000

Subject: comments re draft version 2.0 (David Eppstein)

From: Stan Devitt <jsdevitt@radicalflow.com>
Date: Mon, 10 Apr 2000 08:05:51 -0400
Message-ID: <004601bfa2e5$1dc4a3e0$6561a8c0@devitt.local>
To: <www-math@w3.org>
While the "Big-Oh" notation is not explicitly included in the MathML content
definitions, it is a good example of how the content definitions can be

1)  O-Notation, etc.

    O(x)   could be written.
    <apply><csymbol definitionURL="CRCStandardMath_30"

The csymbol allows the author to be precise about the definition, and the
presentation.  The xml content of the csymbol element is treated as a
mo element, or if needed, can be a full presentation expression.

(2) How would you represent an expression like $\lfloor (n+1)/6\rfloor$ in
content markup style?


    <apply><csymbol definitionURL="...">floor</csymbol> ...</apply>
    <apply><csymbol definitionURL="...">ceiling</csymbol> ...</apply>

    In general, where a new element requires a special presentation, this
can be
    done by providing  a suitable XSLT transformation, perhaps in
    with the semantics tag so that both the presentation and the meaning
    in the rendered document. (See chapter 5.)

(3) How does one represent chains of inequalities in content markup?  You
list the equalities and inequalities as n-ary but what about chains that
mix the two, e.g. (from some of my course notes)


    A content expression for   a = b <= c   is


    This could be combined with a better
    presentation using a syntax element.

    The spec stops short of longer chains of relations unless they are
    homogeneous.  The difficulty was in deciding how to handle the meaning
    of  arbitrary  chains.  e.g.    a < b != c,    or a < b > c,  as then
    spelling out the allowable content got complicated.

    A definition could be added as an extension using csymbol and an XSLT

    e.g.     <apply> <csymbol definitionURL="...">relationchain</csymbol>
Received on Monday, 10 April 2000 09:03:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:29 UTC