[Trac] [OpenMath] #63: CD quant1

OpenMath trac at strawberry.eecs.jacobs-university.de
Wed Sep 3 21:44:03 CEST 2008


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


 Forall and exists refer to OpenMath elements only: and they cannot
 appear just anywhere in a binder.

 I used to write:

  \exists x \suchthat ...

 so should there not be a <suchthat/> here also?

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


More information about the Trac mailing list