[Om] Mathematical Vernacular in formulae

[David Carlisle]

On 26/01/2011 14:03, Kohlhase, Michael wrote:
> And there will usually not be a CD foo  whith a CDDefinition for the
> symbol<OMS name="terminates-for-with" cd="foo"/>  around.


I don't see that this is necessarily the case, any editor or software 
that is generating the OpenMath can generate a CD for any terms that it 
encounters for which it doesn't already have a definition. (The CD 
definition may just be a stub, but that's not the same as saying it 
doesn't exist.) It doesn't even need to write out the files these days, 
perhaps you just have a web service like

http://lmgtfy.com/?q=terminates-for-with

but returning the results in CD format. In which case the software 
writing out the openmath can assume there is a CD for any symbol that it 
needs.


That's not to say that the alternative inline definitions such as
  <OMS cd="altenc" name="vernacular"/>
don't also have a place.

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. 
________________________________________________________________________