next up previous contents
Next: MathML constants Up: Differences in Structure Previous: Intervals   Contents

MathML attributes

There are OpenMath symbols which map to the same MathML element, and are only distinguished by the attributes characterising the MathML element. A MathML element which illustrates this is <interval>. The interval element in MathML has a closure attribute which specifies the type of interval being represented. This attribute takes the following values: open, closed, open_closed, closed_open. Depending on the attribute value, a different OpenMath symbol will be used in the translation. The following example illustrates how one element with different attribute values maps to different OpenMath symbols.

      <interval type="closed">

      <OMS cd="interval1" name="interval_cc"/>
are equivalent and so are
      <interval type="open">

      <OMS cd="interval1" name="interval_oo"/>

When a translator encounters such elements, it is necessary that the MathML elements generated posses these attributes, or else semantic value is lost. Table 3.3.4 shows the relation between all MathML elements whose attributes are of importance and their equivalent OpenMath symbols.


Table 3.2: Equivalent OpenMath symbols to the different attribute values of MathML elements

MathML element

Attribute values OpenMath symbol
<interval> default interval
  closure="open_closed" interval_oc
  closure="closed_open" interval_co
  closure="closed" interval_cc
  closure="open" interval_oo
<tendsto> default above
type="above" above
type="below" below
type="both_sides" null
<set> default set
  type="normal" set
  type="multiset" multiset



next up previous contents
Next: MathML constants Up: Differences in Structure Previous: Intervals   Contents
root
2000-05-01