| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Ideas.Text.OpenMath.Dictionary.Quant1
- quant1List :: [Symbol]
- forallSymbol :: Symbol
- existsSymbol :: Symbol
Documentation
quant1List :: [Symbol] Source
List of symbols defined in quant1 dictionary
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.
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.