Ideas.Text.OpenMath.Dictionary.Relation1

Documentation

relation1List :: [Symbol]

List of symbols defined in relation1 dictionary

eqSymbol :: Symbol

This symbol represents the binary equality function.

ltSymbol :: Symbol

This symbol represents the binary less than function which returns true if the first argument is less than the second, it returns false otherwise.

gtSymbol :: Symbol

This symbol represents the binary greater than function which returns true if the first argument is greater than the second, it returns false otherwise.

neqSymbol :: Symbol

This symbol represents the binary inequality function.

leqSymbol :: Symbol

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.

geqSymbol :: Symbol

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.

approxSymbol :: Symbol

This symbol is used to denote the approximate equality of its two arguments.