OpenMath Signatures


Type System: sts
Content Dictionary: error
CD Signature File: error.sts
CD Signature as XML Encoded OpenMath: error.omsts



Date:  2000-03-21
Author: Bill Naylor


unhandled_symbol

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="OMSymbol"/>
    <OMS name="error" cd="sts"/>
  </OMA>
</OMOBJ>
( OMSymbol >> )

Content Dictionary Entry.


[Next: unexpected_symbol] [Last: unsupported_CD] [Top]


unexpected_symbol

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="OMSymbol"/>
    <OMS name="error" cd="sts"/>
  </OMA>
</OMOBJ>
( OMSymbol >> )

Content Dictionary Entry.


[Next: unsupported_CD] [Previous: unhandled_symbol] [Top]


unsupported_CD

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="OMSymbol"/>
    <OMS name="error" cd="sts"/>
  </OMA>
</OMOBJ>
( OMSymbol >> )

Content Dictionary Entry.


[First: unhandled_symbol] [Previous: unexpected_symbol] [Top]