OpenMath Signatures
Type System:
sts
Content Dictionary:
transc3
CD Signature File:
transc3.sts
official
Date: 2002-09-17
Author: James Davenport
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="PositiveInteger"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
PositiveInteger
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="SetNumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
NumericalValue
>>
)
Content Dictionary Entry.