OpenMath Content Dictionary: relation2

Canonical URL:

http://www.openmath.org/cd/relation2.ocd

CD Base:

http://www.openmath.org/cd

CD File:

relation2.ocd

CD as XML Encoded OpenMath:

relation2.omcd

Defines:

approx

Date:

2004-03-30

Version:

2 (Revision 1)

Review Date:

2017-12-31

Status:

experimental

---

  Author: OpenMath Consortium
  SourceURL: https://github.com/OpenMath/CDs
            

This CD holds further definitions of symbols that represent relations in some way; at present this only includes a definition for approx.

---

approx

Role:

application

Description:

This symbol is used to denote the approximate equality of its two arguments.

Signatures:

sts

---

[First: approx] [Last: approx] [Top]