[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 kohlhase):

 Replying to [comment:1 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?

 quoting from MathML3 (internal)

  For instance for the set constructor, the following two pragmatic content
 MathML3 expressions are considered equivalent:


 {{{
 <set><ci>a</ci><ci>b</ci><ci>c</ci></set>
 <apply><set/><ci>a</ci><ci>b</ci><ci>c</ci></apply>
 }}}
 Both are equivalent to the following strict Content MathML3 expression via
 the equivalence in Section 4.3.1 Token Elements.

 {{{
 <apply><csymbol
 cd="set1">set</csymbol><ci>a</ci><ci>b</ci><ci>c</ci></apply>
 }}}
 But the set constructor can also take a list that is given as an
 expression with a bound variable. Consider for instance the collection of
 all intervals from 0 to x. Here the expression

 {{{
 <set>
   <bvar><ci>x</ci></bvar>
   <interval><cn>0</cn><ci>x</ci></interval>
 </set>
 }}}
 is considered equivalent to

 {{{
 <apply><set/>
   <bvar><ci>x</ci></bvar>
   <apply><interval/><cn>0</cn><ci>x</ci></apply>
 </apply>
 }}}
 Both are equivalent to the following strict Content MathML3 expression via
 the equivalences in Section 4.3.1 Token Elements and Section 4.3.2
 Bindings with apply.

 {{{
 <bind>
   <csymbol cd="set1">set</csymbol>
   <bvar><ci>x</ci></bvar>
   <apply>
     <csmbol cd="interval1">interval</csymbol>
     <cn>0</cn>
     <ci>x</ci>
   </apply>
 </bind>
 }}}

 > > 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?

 yes, sorry for the mistake.

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