> But <CDDefinition> does not define a CD, but declares a symbol in a > CD.
Yes it's best not to "see" the CD prefix on the element names at all, just thing of them as a pre-namespaces namespace mechanism (rather like the OM prefix on openmath instance elements). If you read it as CD Definition then it could be thought to mena definition of a CD, but if you read it as CD:Definition then it's the Definition element in the CD Vocabulary which is a better reading. 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. ________________________________________________________________________ _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
