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

 Replying to [comment:2 kohlhase]:
 > Replying to [comment:1 jhd]:
 > > > In MathML2, containers like vector are also used in binding form,
 and
 > > I am sorry - I don't understand this, can you give me a simple
 example?
 >
 > quoting from MathML3 (internal)
 <snip>
 > 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>
 > }}}
 Ye Gods. I have no idea what this means in ordinary mathematics.

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