ideas-1.5: Feedback services for intelligent tutoring systems

Safe HaskellSafe
LanguageHaskell98

Ideas.Text.OpenMath.Dictionary.Quant1

Synopsis

Documentation

quant1List :: [Symbol] Source

List of symbols defined in quant1 dictionary

forallSymbol :: Symbol Source

This symbol represents the universal ("for all") quantifier which takes two arguments. It must be placed within an OMBIND element. The first argument is the bound variables (placed within an OMBVAR element), and the second is an expression.

existsSymbol :: Symbol Source

This symbol represents the existential ("there exists") quantifier which takes two arguments. It must be placed within an OMBIND element. The first argument is the bound variables (placed within an OMBVAR element), and the second is an expression.