W3C home > Mailing lists > Public > www-math@w3.org > May 2003

Re: a question about <forall> element

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>

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 Bagot
Received 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