OpenMath Signatures

---

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

---

experimental

---

prefix

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

( prefix dimension >> dimension )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---