texmath-0.10.1.2: tests/writers/axiom_of_power_set.eqn
\[u2200] A ^ \[u2203] P ^ \[u2200] B ^ [ B \[u2208] P \[u21D4] \[u2200] C ^ ( C \[u2208] B \[u21D2] C \[u2208] A ) ]
\[u2200] A ^ \[u2203] P ^ \[u2200] B ^ [ B \[u2208] P \[u21D4] \[u2200] C ^ ( C \[u2208] B \[u21D2] C \[u2208] A ) ]