OpenMath Signatures

---

Type System: sts
Content Dictionary: airy
CD Signature File: airy.sts

---

---

Ai

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="NumericalValue" cd="sts"/>
   <OMS name="NumericalValue" cd="sts"/>
 </OMA>
</OMOBJ>

( NumericalValue >> NumericalValue )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Bi

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="NumericalValue" cd="sts"/>
   <OMS name="NumericalValue" cd="sts"/>
 </OMA>
</OMOBJ>

( NumericalValue >> NumericalValue )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Ai2

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS cd="setname1" name="Z"/>
   <OMS name="NumericalValue" cd="sts"/>
   <OMS name="NumericalValue" cd="sts"/>
 </OMA>
</OMOBJ>

( Z NumericalValue >> NumericalValue )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Bi2

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS cd="setname1" name="Z"/>
   <OMS name="NumericalValue" cd="sts"/>
   <OMS name="NumericalValue" cd="sts"/>
 </OMA>
</OMOBJ>

( Z NumericalValue >> NumericalValue )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---