relation2 http://www.openmath.org/cd http://www.openmath.org/cd/relation2.ocd 2006-03-30 2004-03-30 2 0 experimental This CD holds further definitions of symbols that represent relations in some way; at present this only includes a definition for approx. approx application This symbol is used to denote the approximate equality of its two arguments.