OpenMath Signatures
Type System:
sts
Content Dictionary:
bigfloat1
CD Signature File:
bigfloat1.sts
official
Date: 1999-07-13
Author: James Davenport
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Z" cd="setname1"/>
<OMS name="Z" cd="setname1"/>
<OMS name="Z" cd="setname1"/>
<OMV name="BigFloat"/>
</OMA>
</OMOBJ>
(
Z
Z
Z
>>
BigFloat
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="BigFloat"/>
<OMS name="Z" cd="setname1"/>
<OMS name="Z" cd="setname1"/>
<OMV name="BigFloat"/>
</OMA>
</OMOBJ>
(
BigFloat
Z
Z
>>
BigFloat
)
Content Dictionary Entry.