I am inclined to go with David. The Coca Cola logo (compare: symbol) appears many places. There are probably regulations by the Coca Cola company (compare: CD) that specify the logo. In our CD the precise symbols (OMS) occurs, but is adorned with further information: the specifications.
Best, Arjeh On Thu, Jul 31, 2008 at 09:18:16AM +0100, David Carlisle wrote: > > > > That 17 angels can dance on the head of this pin. :-) > > More seriously, since a symbol IS a reference to an abstract idea, > > then the CD entry probably is the symbol, and <OMS name="arcsin" > > cd="transc1"/> is a reference to that symbol, so probbaly the wording > > ought to be shifted inthe direction Paul suggests. > > personally I always thought of it the other way. > The OMS is the symbol and a CD gives definitions of symbols. > > > This seems to be the intuition behind the naming of CDs as > "Dictionaries". a token in a document is a word and dictionaries give > meanings of words. Just as an OMS in an OM Object is a Symbol, and > Content Dictionaries gfive meanings of symbols. > > 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 _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
