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. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
