a question about <forall> element

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