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

[OpenMath]

#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:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 MathML allowed big operators for associative operators like union. We need
 a general template how to deal with these symbols.

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