[Om3] Conditions

[David Carlisle]

James,

couple of quick comments

> However, it seems to JHD to be purely \luck" that this denes an interval.
> What about the following?

Not luck, just that the construct is only correct if the specified set
is an interval, MathML doesn't enforce this, any more than it enforces
the fact that the function to be integrated is in fact integrable. This
isn't necessarily a flaw, it might be considered a feature.

> <OMS name="forallrestricted" cd="quantifier2"/>

yes one of the three proposals coming out of the math f2f was to
promote a general cvention that for a binder foo we just had
an associated binder foowithcondition (either by modifying the name, or
cd, to be decided) to take the condition.


David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________