From: Tim Bagot <tsb-w3-math-0003@earth.li>

Date: Mon, 5 May 2003 20:52:54 +0000 (UTC)

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

Cc: Gang Du <GangDu@dessci.com>

Message-ID: <Pine.LNX.4.33.0305052042180.1085-100000@213-152-52-166.dsl.eclipse.net.uk>

Date: Mon, 5 May 2003 20:52:54 +0000 (UTC)

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

Cc: Gang Du <GangDu@dessci.com>

Message-ID: <Pine.LNX.4.33.0305052042180.1085-100000@213-152-52-166.dsl.eclipse.net.uk>

At 2003-05-05T10:03-0700, Gang Du wrote:- > 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? The last part is meant to be a predicate, so that's not likely to be a sensible forall statement. However, "forall x, x in X, x" might just be. Even so, that is really a pathological case, and I don't think it would be overly painful to apply the identity function. Tim BagotReceived on Monday, 5 May 2003 16:55:39 UTC

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