element  implies 

diagram
version	V3_1
namespace	http://www.w3.org/1998/Math/MathML
type	Logic.type
used by	{}:Content-logic.class
attributes	Name   Type   Use   Default   Fixed   annotation encoding   xsd:string                 definitionURL   xsd:anyURI                 class   xsd:NMTOKENS                 style   xsd:string                 xref   xsd:IDREF                 id   xsd:ID                 xlink:href   xsd:anyURI
source	<xsd:element  name="implies"  type="Logic.type"/>