- From: Stéphane Lavirotte <stephane@lavirotte.com>
- Date: 17 Jan 2003 13:31:47 +0100
- To: www-math@w3.org
Hi, I had a look at the MathML content testsuite. I've got a problem with the "testsuite/Content/ArithmeticAlgebraLogic/forall/forall2" sample. In REC, should we understand: "an optional condition and an optional assertion" or "an optional condition and a required assertion" ? If the second statement is the right one, the forall2 sample should not be valid. <<< 4.4.3.17 Universal quantifier (forall) The forall element represents the universal quantifier of logic. It must be used in conjunction with one or more bound variables, an optional condition element, and an assertion, which should take the form of an apply element. In MathML 1.0, the reln element was also permitted here: this usage is now deprecated. >>> Stéphane -- Stéphane LAVIROTTE Maître de Conférences web: http://stephane.lavirotte.com IUFM de Nice tél: +33 (0) 4 93 53 75 67 I3S (CNRS / Univerité de Nice) tél: +33 (0) 4 92 96 51 72
Received on Friday, 17 January 2003 07:36:58 UTC