ideas-1.7: Feedback services for intelligent tutoring systems

Ideas.Text.OpenMath.Dictionary.Quant1

Synopsis

# Documentation

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.