OpenMath Signatures

---

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

---

official

               
Date:  2000-03-21
Author: Bill Naylor

            

---

unhandled_symbol

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="OMSymbol"/>
    <OMS name="error" cd="sts"/>
  </OMA>
</OMOBJ>

( OMSymbol >> )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

unexpected_symbol

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="OMSymbol"/>
    <OMS name="error" cd="sts"/>
  </OMA>
</OMOBJ>

( OMSymbol >> )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

unsupported_CD

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="OMSymbol"/>
    <OMS name="error" cd="sts"/>
  </OMA>
</OMOBJ>

( OMSymbol >> )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---