Re: a question about <forall> element

Regarding:

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

One can always  debate whether or not x can be both an assertion
and comparable to an integer, but the point you raise about needing
variables and - for example, boolean constants in that position is very 
valid.

The working group is relaxing the description to allow them
and the validation grammar is being updated  to reflect this change.

Thank you for reporting this.

Stan Devitt
(on behalf of the Math Working Group)

Received on Sunday, 8 June 2003 22:41:33 UTC