- From: David Carlisle <davidc@nag.co.uk>
- Date: Sun, 7 Jun 2009 11:23:31 +0100
- To: andreas.strotmann@ualberta.ca
- Cc: www-math@w3.org
Andreas, > I suggest replacing this by something like the following, interpreting domainofapplication > as a restriction on the operator: Speaking personally I was going to make the same suggestion, which I didn't make earlier as we needed an interal spec-freeze to get things checked and ready for a public draft. At the time these rules were drafted the mapping to openmath of domainofapplication was a little difficult as the domainofapplication symbol in fns1 which was described as being for this use was so under defined (at best) or wrong (at worst). The proposed update to fns1 at http://monet.nag.co.uk/~dpc/cdfiles2/cd/fns1.xhtml deprecates the existing fns1:domainofapplication symbol and introduces a restriction symbol, this is already used in Rewrite: lambda domainofappliction and I agree it could be usefully used here as well. These updated CDs have been submitted to the OM meeting in July and hopefully will be endorsed (possibly with corrections/improvements etc) so that by the next MathML draft we will have them in place at openmath.org. 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. ________________________________________________________________________
Received on Sunday, 7 June 2009 10:24:03 UTC