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