Question on csymbol usage

Hi Christoph,
that helped. Thanks!

Andy

Andreas Maier
IBM Senior Technical Staff Member, Systems Management Architecture & Design
IBM Research & Development Laboratory Boeblingen, Germany
maiera@de.ibm.com, +49-7031-16-3654
_________________________________________________________________________________

IBM Deutschland Research & Development GmbH;
Geschaeftsfuehrung: Erich Baier;
Vorsitzender des Aufsichtsrats: Martin Jetter;
Sitz der Gesellschaft: Boeblingen;
Registergericht: Amtsgericht Stuttgart, HRB 243294

----- Forwarded by Andreas Maier/Germany/IBM on 10/12/2009 15:34 -----
                                                                           
             Christoph LANGE                                               
             <ch.lange@jacobs-                                             
             university.de>                                             To 
             Sent by:                  Andreas Maier/Germany/IBM@IBMDE     
             www-math-request@                                          cc 
             w3.org                    W3C MathML Mailing List             
                                       <www-math@w3.org>                   
                                                                   Subject 
             10/12/2009 11:29          Question on csymbol usage           
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           




Hi Andreas,

2009-10-12 08:41 Andreas Maier <MAIERA@de.ibm.com>:
> What is not clear to me is how I would place a MathML fragment containing
> the *definition* of such an operator into a common XML instance document,
> separate from the MathML fragment *using* the operator in another XML
> instance document (that would include the common XML instance document).
>
> Does the MathML fragment shown above represent the definition of the
> operator, or its usage (in which case, the content of the <ci> element
> would need to be changed to the actual feature names, e.g. f1 or f2) ?

Your fragment _uses_ the operator, but does not define it.  With MathML
alone,
there is no way of defining operators.  MathML can _use_ so-called content
dictionaries (see http://www.w3.org/TR/MathML3/chapter4.html#contm.cds),
which contain definitions of operators, but it cannot be used to write
them.
XML languages for writing content dictionaries are, e.g., OpenMath
(http://www.openmath.org) or OMDoc (http://omdoc.org).

Hope that helps,

Christoph

--
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype
duke4701

Received on Monday, 12 October 2009 13:38:18 UTC