OpenMath Signatures


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


official
               
Date:  2002-09-17
Author: James Davenport

            

log

<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.


[First: ] [Last: ] [Top]


ln

<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.


[First: ] [Last: ] [Top]


arcsin

<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.


[First: ] [Last: ] [Top]


arccos

<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.


[First: ] [Last: ] [Top]


arctan

<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.


[First: ] [Last: ] [Top]


arcsec

<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.


[First: ] [Last: ] [Top]


arccsc

<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.


[First: ] [Last: ] [Top]


arccot

<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.


[First: ] [Last: ] [Top]


arcsinh

<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.


[First: ] [Last: ] [Top]


arccosh

<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.


[First: ] [Last: ] [Top]


arctanh

<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.


[First: ] [Last: ] [Top]


arcsech

<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.


[First: ] [Last: ] [Top]


arccsch

<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.


[First: ] [Last: ] [Top]


arccoth

<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.


[First: ] [Last: ] [Top]