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