Alternatives:	(mml file)  (full) () () () ()
File:	Content/ArithmeticAlgebraLogic/implies/rec-implies1
CVS-ID:
Author:	MathML 2 Recommendation
Description:	A -> B in <apply>
Sample Rendering:

JEuclids rendering:

Source Code:

    <math xmlns="http://www.w3.org/1998/Math/MathML"> 
      <apply> 
        <implies/> 
        <ci> A </ci> 
        <ci> B </ci> 
      </apply> 
    </math>