This is a browser-friendly view of the QMath context quant1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from the content dictionary quant1 || http://www.openmath.org/cd/quant1.html || http://www.openmath.org/cd/quant1.ocd Symbol: exists BINDING "quant1:exists" Symbol: ∃ BINDING "quant1:exists" Symbol: for_all BINDING "quant1:forall" Symbol: ∀ BINDING "quant1:forall"