relation1 http://www.openmath.org/cd/relation1.ocd 2003-04-01 2001-03-12 2 0 official arith1 logic1 nums1 This CD holds the common arithmetic relations. It is intended to be `compatible' with the appropriate MathML elements. eq This symbol represents the binary equality function. a=b and b=c implies a=c An example which represents the statement 1 + 2 = 3. 1 2 3 lt This symbol represents the binary less than function which returns true if the first argument is less than the second, it returns false otherwise. a<b and b<c implies a<c An example which represents the statement 1 + 2 < 4 1 2 4 gt This symbol represents the binary greater than function which returns true if the first argument is greater than the second, it returns false otherwise. a>b and b>c implies a>c An example which represents the statement 1 + 2 > 2 1 2 2 neq This symbol represents the binary inequality function. it is not true that a=/b and b=/c implies a=/c An example which represents the statement 1 + 2 not = 2 1 2 2 leq This symbol represents the binary less than or equal to function which returns true if the first argument is less than or equal to the second, it returns false otherwise. a<=b and b<=c implies a<=c An example which represents the statement 1 + 2 <= 4 1 2 4 geq This symbol represents the binary greater than or equal to function which returns true if the first argument is greater than or equal to the second, it returns false otherwise. a>=b and b>=c implies a>=c An example which represents the statement 1 + 2 >= 3 1 2 3 approx This symbol is used to denote the approximate equality of its two arguments. \pi is approximately 355/113 355 113