[om] OpenMath and Imaging

[David Carlisle]

>  including ones that MathML still fails to solve.

> Here is one simple example: write
>     5 < x <= 10

Minse is as far as I remember purely presentational, to do that in
presenttaion mml is 
<mn>5</mn><mo>&lt;</mo><mi>x</mi><mo>&le;</mo><mn>10</mn>

which given that it's in XML is reasonably compact.
For some reason you asked for the content rendering, the content mml and
OpenMath trees would be similar, something like (OM version, since this
is OM list)

<OMA>
  <OMS name="and" cd="logic1"/>
  <OMA>
    <OMS name="relation1" name="lt"/>
    <OMI>5</OMI>
    <OMV name="x"/>
  </OMA>
  <OMA>
    <OMS name="relation1" name="leq"/>
    <OMV name="x"/>
    <OMI>10</OMI>
  </OMA>
</OMA>

or you could specify that x was in the interval (5,10] . Either way
your renderer might, or might not, display the expression as
5 < x <= 10, if you want to force that particular rendering you could
attatch the presentation MathML expresion to the semantic markup.

David
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems