Ideas.Text.OpenMath.Dictionary.Quant1

Documentation

quant1List :: [Symbol]

List of symbols defined in quant1 dictionary

forallSymbol :: Symbol

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

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.