element  implies 
diagram
versionV3_1
namespacehttp://www.w3.org/1998/Math/MathML
typeLogic.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"/>