[Om] Symbol question: interval1:oriented_interval

[David Carlisle]

On 07/11/2018 07:51, David Carlisle wrote:
> h also the sts probably need updating to
> match:

done

https://www.openmath.org/sts/interval1.html#oriented_interval

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/20181107/abbef67a/attachment.html>