{{indexmenu_n>15870}} ====== rec-implies1 ====== A -> B in <apply> {{mml>}} Author: MathML 2 Recommendation