[Trac] [OpenMath] #63: CD quant1

[OpenMath]

#63: CD quant1
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by jauecker):

 '''David:'''



 >I used to write:
 >
 >  \exists x \suchthat ...

 OpenMath has always had some problem with that, in mathml you can use
 <apply>
  <exists/>
  <condition>

 If Michael's suggestin of adding OMC to OpenMath is taken up (and I
 think it should be) then presumably the the mathml3 <bind> element usage
 would also need to allow <condition> to match.

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