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

a question about <forall> element

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>

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.

Gang Du
Received 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