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

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 08:14:50 CET 2008

#33: limit different between MathML and OM (binding vs function)
    Reporter:  kohlhase          |           Owner:  kohlhase        
        Type:  defect            |          Status:  new             
    Priority:  major             |       Milestone:  MathML3CD Draft1
   Component:  OM/MML Alignment  |         Version:                  
    Keywords:                    |   Include_gantt:  0               
Dependencies:                    |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD        |  
 <limit> is a binding symbol in MathML using <tendsto/> in the condition to
 specify whether it is an upper, lower or unspecified limit, whereas OM
 uses the second argument to specify this and treats limit as applicative
 to a function.

 This must be remedied by teasing the symbols apart, but we need a
 resolution on the general principle frist.

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

More information about the Trac mailing list