{{indexmenu_n>20100}} ====== rec-notin1 ====== a not in A as <apply> {{mml>}} Author: MathML 2 Recommendation