OpenMath Content Dictionary: relation4

Canonical URL:
http://www.openmath.org/cd/relation4.ocd
CD Base:
http://www.openmath.org/cd
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


[First: eqs] [Last: eqs] [Top]