OpenMath Signatures
Type System:
sts
Content Dictionary:
fns2
CD Signature File:
fns2.sts
official
Date: 2009-04-19
Author: David Carlisle
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMS name="Object" cd="sts"/>
</OMA>
</OMOBJ>
(
(
Object
>>
Object
)
>>
Object
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMS name="Object" cd="sts"/>
</OMA>
</OMOBJ>
(
(
Object
>>
Object
)
>>
Object
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMS name="Object" cd="sts"/>
</OMA>
</OMOBJ>
(
(
Object
>>
Object
)
>>
Object
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMS name="Object" cd="sts"/>
</OMA>
<OMV name="ObjectList"/>
<OMS name="Object" cd="sts"/>
</OMA>
</OMOBJ>
(
(
(
Object
*
)
>>
Object
)
ObjectList
>>
Object
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
<OMV name="ObjectList"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
(
Object
Object
>>
Boolean
)
ObjectList
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
</OMA>
</OMOBJ>
(
(
Object
>>
Object
)
(
Object
>>
Object
)
>>
(
Object
>>
Object
)
)
Content Dictionary Entry.