Error in C.2.3.3

• From: Clare So <cmso@uwo.ca>
• Date: Tue, 20 Aug 2002 10:28:52 -0400 (EDT)
• To: www-math@w3.org
• Message-ID: <Pine.SOL.4.21.0208201022030.21274-100000@panther.uwo.ca>

In C.2.3.3, the following is included as one of the property of "divide":

Property 

        Division by Zero error
                                                   
           <apply><forall/>
             <bvar><ci>a</ci></bvar>
             <apply><eq/>
               <apply><divide/><ci> a </ci><ci> 0 </ci>
               <notanumber/>
             </apply>
             </apply>
           </apply>


I think the correct markup of this property should be:

<apply><forall/>
  <bvar><ci>a</ci></bvar>
  <apply><eq/>
    <apply><divide/><ci>a</ci><ci>0</ci></apply> <!-- HERE -->
    <notanumber/>
  </apply> <!-- HERE -->
</apply>


-- Clare

Received on Tuesday, 20 August 2002 11:28:13 UTC