texmath-0.6.7: tests/writers/axiom_of_power_set.tex
\forall {A} \,\exists {P} \,\forall {B} \,\lbrack {B}\in {P}\Leftrightarrow \forall {C} \,({C}\in {B}\Rightarrow {C}\in {A})\rbrack \forall {A} \,\exists {P} \,\forall {B} \,\lbrack {B}\in {P}\Leftrightarrow \forall {C} \,({C}\in {B}\Rightarrow {C}\in {A})\rbrack