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