ideas-1.3.1: Feedback services for intelligent tutoring systems

Safe HaskellSafe-Inferred
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.