[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:4 david]:
 > Replying to [comment:3 jhd]:
 >
 > > Ye Gods. I have no idea what this means in ordinary mathematics.
 >
 > I'm with you James:-)
 >
 > Surely these examples are confused aren't they? (certainly their readers
 are confused:-)
 > I don't think that there's really a problem here for openmath, we need
 two symbols, one nary one that constructs a set from an explicit list,
 modelling {1,2,3} and one constructing a set from a predicate {x| x in
 [a,b]} the fact that they both map to the pragmatic <set> element with or
 without a bvar child is just general notation mangling isn't it? This of
 course is more or less exactly what the original entry says, so no
 objection to that, but the examples seem strange to me.
 In the case of 'set', yes. I think that, for union, we need three (at
 least probably), the n-ary (normally presented infix \cup), the binder,
 and \bigunion, where \bigunion S = bindunion {x | x \in S}.
 More generally, we may need more symbols in OM/strict MML as we need to
 distinguish symbols that have the same 'deep semantics' but different
 'surface semantics'.
 This is an idea I am groping towards, and have promised Bath I'll give a
 seminar on it in two weeks time. Webinar??

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