[Trac] [OpenMath] #33: limit different between MathML and OM (binding vs function)

OpenMath trac at strawberry.eecs.jacobs-university.de
Tue Jan 29 01:25:15 CET 2008


#33: limit different between MathML and OM (binding vs function)
----------------------------------+-----------------------------------------
     Reporter:  kohlhase          |          Owner:  jhd             
         Type:  defect            |         Status:  assigned        
     Priority:  major             |      Milestone:  MathML3CD Draft1
    Component:  OM/MML Alignment  |        Version:                  
   Resolution:                    |       Keywords:                  
Include_gantt:  0                 |   Dependencies:                  
   Due_assign:  YYYY/MM/DD        |      Due_close:  YYYY/MM/DD      
----------------------------------+-----------------------------------------
Changes (by jhd):

  * owner:  kohlhase => jhd
  * status:  new => assigned

Comment:

 > This must be remedied by teasing the symbols apart, but we need a
 resolution on the general principle first.
 Thats right - I am building, in my own mind and now here, a hierarchy

 union etc. (easiest)

 sum etc.   (pretty similar for closed summations)

 limit

 int        (like sum except for the 'different kinds of \int' problem)
            (hardest)

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


More information about the Trac mailing list