scholdoc-texmath-0.1: 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