<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Dear Deyan, <br>
</p>
<p>thanks for the report and keeping your eyes open<br>
</p>
<p>Dear David, <br>
</p>
<p>thanks for fixing this quickly. <br>
</p>
<p>BTW, did you check whether there have been other regressions on
the CDs?</p>
<p>Michael <br>
</p>
<p><br>
</p>
<br>
<div class="moz-cite-prefix">On 06.11.18 16:12, David Carlisle
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:2ca3f757-87d4-7806-5835-250566c47749@nag.co.uk">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">.style1 {font-family: "Times New Roman";}</style>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" moz-do-not-send="true">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" moz-do-not-send="true">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"
moz-do-not-send="true">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>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, <a class="moz-txt-link-freetext" href="http://kwarc.info/kohlhase">http://kwarc.info/kohlhase</a>, skype: mibein42
Professur für Wissensrepräsentation & -verarbeitung
Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
tel/fax: (49) 9131-85-64052/55, <a class="moz-txt-link-abbreviated" href="mailto:michael.kohlhase@fau.de">michael.kohlhase@fau.de</a>
----------------------------------------------------------------------
</pre>
</body>
</html>