[Om] Symbol question: interval1:oriented_interval

[David Carlisle]

On 05/11/2018 16:23, Deyan Ginev wrote:
> Dear OpenMath working group,
> 
> I am uncertain if I should address this question to the OM team or the 
> w3c math list, but hopefully the member overlap makes this a non-issue.
> 
> I am working on some infrastructure for representing integrals in strict 
> Content MathML (in the latexml software suite), and noticed a suggested 
> best practice in the official specification:
> 
> https://www.w3.org/TR/MathML3/chapter4.html#contm.domainofapplication.qualifier
> 
> " If the head is int then oriented_interval is used. " - referring to a 
> symbol in the interval1 content dictionary.
> 
> Strangely enough, following that link leads to a CD that contains no 
> such symbol. I am wondering whether the CD itself, or the Content MathML 
> specification examples need correction, but the discrepancy is 
> definitely confusing.
> 
> Luckily the fully opaque "interval" symbol seems to be a good short-term 
> alternative in the meantime.
> 
> Thanks in advance for your help,
> Deyan
> 

https://www.openmath.org/cd/interval1#oriented_interval

Thanks for the report

David

Disclaimer

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 and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20181106/192e95be/attachment.html>