Question on csymbol usage

[Andreas Maier-4]

Hi Christoph,
that helped. Thanks!

Andy

Andreas Maier
IBM Senior Technical Staff Member, Systems Management Architecture & Design
IBM Research & Development Laboratory Boeblingen, Germany
maiera@..., [phone]
_________________________________________________________________________________

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@...>                  
                                                                   Subject
             10/12/2009 11:29          Question on csymbol usage          
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           




Hi Andreas,

2009-10-12 08:41 Andreas Maier <MAIERA@...>:
> 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