element
exists
diagram
version
namespace
http://www.w3.org/1998/Math/MathML3
source
<
xsd:element
name
="
exists
"
substitutionGroup
="
m:quantifier.class
"
/>
