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

 > In MathML2, containers like vector are also used in binding form, and if
 we have
 I am sorry - I don't understand this, can you give me a simple example?
 > single roles, we have to introduce new symbols for the binding forms.
 Furthermore, we have to disambiguate them in the strict2pragmatic
 conversion.
 Do you mean pragmatic2strict?

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