[Trac] [OpenMath] #88: Empty MathML math object in logic1#and

[OpenMath]

#88: Empty MathML math object in logic1#and
---------------------------+------------------------------------------------
    Reporter:  clange      |           Owner:  jhd       
        Type:  defect      |          Status:  new       
    Priority:  major       |       Milestone:            
   Component:  MathML CDs  |         Version:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 The following code in logic1.ocd actually causes #87, as the JOMDoc
 renderer cannot yet handle empty math objects:
 {{{
 <property>
           <description>
             <p>ForAll( p, (true and p = p) )</p>
           </description><math
 xmlns="http://www.w3.org/1998/Math/MathML"></math></property>
 }}}
 Too bad that we can't discuss this problem in the wiki, but who would look
 at the discussion page of a page that doesn't render :-(

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