[Trac] [OpenMath] #31: containers are used as binding symbols in MathML2

[OpenMath]

#31: containers are used as binding symbols in MathML2
---------------------------+------------------------------------------------
    Reporter:  kohlhase    |           Owner:  jhd             
        Type:  proposal    |          Status:  new             
    Priority:  major       |       Milestone:  MathML3CD Draft1
   Component:  MathML CDs  |         Version:                  
    Keywords:              |   Include_gantt:  0               
Dependencies:              |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 In MathML2, containers like vector are also used in binding form, and if
 we have single roles, we have to introduce new symbols for the binding
 forms. Furthermore, we have to
 disambiguate them in the strict2pragmatic conversion.

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