[Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union

OpenMath trac at strawberry.eecs.jacobs-university.de
Thu Jan 24 08:14:30 CET 2008

#23: sort out symbols for associative binary operators, e.g. union
     Reporter:  kohlhase    |          Owner:  jhd       
         Type:  proposal    |         Status:  new       
     Priority:  blocker     |      Milestone:  CD3 Draft1
    Component:  MathML CDs  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
Comment (by kohlhase):

 I have been looking at product and sum some more, and there the situation
 gets even thornier. We have the mathml <sum/> token element, which in the
 classification above is plus-exp, and we have the sum at arith1 symbol in
 OpenMath, which is actually plus-coll.

 So we have to decide where the simple backwards compatibility wins, MathML
 or OpenMath. In my mind plus-exp should be named 'sum' somehow. But it
 should not be sum at arith1, which is already taken.

 This raises the general question, what the names of the content
 dictionaries will be for the MathML CDs should be. Maybe we have to invent
 new names to make sure that the old OpenMath CDs from the MathML Group are
 deprecated. Maybe we should use m:arith.cd3 for the joint
 MathML3/OpenMath3 CD for arithmetic smbols.

 I am raising the issue on the OM3 mailing list and splitting this issue
 out to #25.

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

More information about the Trac mailing list