From: Gang Du <GangDu@dessci.com>

Date: Mon, 5 May 2003 10:03:25 -0700

Message-ID: <46566A3075DDD311969100E0811031EC523AD7@euclid.dessci>

To: "'www-math@w3.org'" <www-math@w3.org>

Date: Mon, 5 May 2003 10:03:25 -0700

Message-ID: <46566A3075DDD311969100E0811031EC523AD7@euclid.dessci>

To: "'www-math@w3.org'" <www-math@w3.org>

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. Sincerely, Gang DuReceived on Monday, 5 May 2003 13:05:32 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:33 UTC
*