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