relation4 http://www.openmath.org/cd/relation4.ocd 2005-04-01 2004-03-10 1 1 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 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.