[Trac] [OpenMath] #17: Sort out integrals between OpenMath and MathML

OpenMath trac at strawberry.eecs.jacobs-university.de
Wed Jan 23 09:23:04 CET 2008

#17: Sort out integrals between OpenMath and MathML
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     Priority:  blocker     |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
Changes (by jhd):

  * status:  new => assigned


 "The tentative agreement in the MathML WG is that we should leave only the
 MathML-style integrals in the MathML CD(s) and leave the other's to the
 OpenMath CDs." but "In MathML we have the <el>int</el> element for
 definite and indefinite integrals, and it can both be used both as a
 binder and as an applied operator." I don't see how this can be mad to
 work, in two (related) ways:
 (a) How can a symbol be both a binder and an operator - I thought one of
 the advantages of OM was that it distinguished;
 (b) isn't definit fundamentally different from int?

Ticket URL: <https://trac.kwarc.info/OM3/ticket/17#comment:5>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.

More information about the Trac mailing list