- From: Stan Devitt <jsdevitt@stratumtek.com>
- Date: Sun, 08 Jun 2003 22:43:47 -0400
- To: www-math@w3.org
Regarding: > In MathML 2 specification, content markup element <forall> must be > used in conjunction with one or more bound variables, an optional > condition element, and an assertion which should be an <apply> > element or a deprecated <reln> element. Consider the following > statement: "for all x, x < 0, x". Since the assertion here is > just a single variable, how to translate this into a valid content > markup? Or this is not a valid forall statement? > > Any idea about this would be greatly appreciated. One can always debate whether or not x can be both an assertion and comparable to an integer, but the point you raise about needing variables and - for example, boolean constants in that position is very valid. The working group is relaxing the description to allow them and the validation grammar is being updated to reflect this change. Thank you for reporting this. Stan Devitt (on behalf of the Math Working Group)
Received on Sunday, 8 June 2003 22:41:33 UTC