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