OpenMath Signatures
Type System:
sts
Content Dictionary:
complex1
CD Signature File:
complex1.sts
official
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="C" cd="setname1"/>
<OMS name="C" cd="setname1"/>
</OMA>
</OMOBJ>
(
C
>>
C
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="NumericalValue" cd="sts"/>
<OMS name="C" cd="setname1"/>
</OMA>
</OMOBJ>
(
NumericalValue
NumericalValue
>>
C
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="C" cd="setname1"/>
<OMS name="NumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
C
>>
NumericalValue
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="C" cd="setname1"/>
<OMS name="NumericalValue" cd="sts"/>
</OMA>
</OMOBJ>
(
C
>>
NumericalValue
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="PositiveReal"/>
<OMS name="R" cd="setname1"/>
<OMS name="C" cd="setname1"/>
</OMA>
</OMOBJ>
(
PositiveReal
R
>>
C
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="C" cd="setname1"/>
<OMS name="R" cd="setname1"/>
</OMA>
</OMOBJ>
(
C
>>
R
)
Content Dictionary Entry.