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