{{indexmenu_n>14940}} ====== rec-notprsubset1 ====== A is not proper subset of B as <apply> {{mml>}} Author: MathML 2 Recomendation