[Om] name of OMS

Arjeh Cohen 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

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
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om

More information about the Om mailing list