OpenMath Content Dictionary: relation4

Canonical URL:

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

CD File:

relation4.ocd

CD as XML Encoded OpenMath:

relation4.omcd

Defines:

eqs

Date:

2004-03-10

Version:

1 (Revision 1)

Review Date:

2005-04-01

Status:

experimental

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

eqs

Description:

This symbol is used to denote the n-ary version of equality. When applied to n arguments a1, ..., an, it represents the boolean expression that a1, a2, ,,, and an are equal.

Signatures:

sts