relation2
http://www.openmath.org/cd/relation2.ocd
2003-04-01
1999-05-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 approx.
approx
This symbol is used to denote the approximate equality of its two arguments.