element mathml:implies

diagram
namespace	http://www.w3.org/1998/Math/MathML
type	mathml:Logic.type
properties	content  complex
used by	group  mathml:Content-logic.class
attributes	Name   Type   Use   Default   Fixed   annotation encoding xs:string          definitionURL xs:anyURI          class xs:NMTOKENS          style xs:string          xref xs:IDREF          id xs:ID          href
source	<xs:element name="implies" type="Logic.type"/>

XML Schema documentation generated by XMLSpy Schema Editor http://www.altova.com/xmlspy