<html><head><style type="text/css">.style1 {font-family: "Times New Roman";}</style></head><body>On 05/11/2018 16:23, Deyan Ginev wrote:<BR>
> Dear OpenMath working group,<BR>
> <BR>
> I am uncertain if I should address this question to the OM team or the <BR>
> w3c math list, but hopefully the member overlap makes this a non-issue.<BR>
> <BR>
> I am working on some infrastructure for representing integrals in strict <BR>
> Content MathML (in the latexml software suite), and noticed a suggested <BR>
> best practice in the official specification:<BR>
> <BR>
> <a href="https://www.w3.org/TR/MathML3/chapter4.html#contm.domainofapplication.qualifier" target="_blank">https://www.w3.org/TR/MathML3/chapter4.html#contm.domainofapplication.qualifier</a><BR>
> <BR>
> " If the head is int then oriented_interval is used. " - referring to a <BR>
> symbol in the interval1 content dictionary.<BR>
> <BR>
> Strangely enough, following that link leads to a CD that contains no <BR>
> such symbol. I am wondering whether the CD itself, or the Content MathML <BR>
> specification examples need correction, but the discrepancy is <BR>
> definitely confusing.<BR>
> <BR>
> Luckily the fully opaque "interval" symbol seems to be a good short-term <BR>
> alternative in the meantime.<BR>
> <BR>
> Thanks in advance for your help,<BR>
> Deyan<BR>
> <BR>
<BR>
<a href="https://www.openmath.org/cd/interval1#oriented_interval" target="_blank">https://www.openmath.org/cd/interval1#oriented_interval</a><BR>
<BR>
Thanks for the report<BR>
<BR>
David<BR>
<br /><br /><p style="font-family: Verdana; font-size:10pt; color:#666666;"><b>Disclaimer</b></p><p style="font-family: Verdana; font-size:8pt; color:#666666;">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. Please see our <A href="https://www.nag.co.uk/content/privacy-notice">Privacy Notice</A> for information on how we process personal data and for details of how to stop or limit communications from us.<br /><br />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.</p>
</body></html>