[Om] name of OMS
amc at win.tue.nl
Thu Jul 31 20:52:12 CEST 2008
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
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.
> 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
> Om at openmath.org
More information about the Om