ideas-1.6: Feedback services for intelligent tutoring systems

Safe HaskellSafe
LanguageHaskell98

Ideas.Text.OpenMath.Dictionary.Relation1

Synopsis

Documentation

relation1List :: [Symbol] Source #

List of symbols defined in relation1 dictionary

eqSymbol :: Symbol Source #

This symbol represents the binary equality function.

ltSymbol :: Symbol Source #

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 Source #

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 Source #

This symbol represents the binary inequality function.

leqSymbol :: Symbol Source #

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 Source #

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 Source #

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