[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:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by kohlhase):

 James Davenport suggested that we have a general lifting operator (see
 issue #24) for the associative operators and that we have three symbols
 (for all aspects), whereever the concepts are widely used in Math (e.g.
 evidenced by the fact that LaTeX has a \big operator), and add FMPs
 (DefMPs if that flies, see issue #5) that define the -coll and -exp
 symbols in terms of the simple ones.

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