<<< tex \forall A \, \exists P \, \forall B \, [B \in P \iff \forall C \, (C \in B \Rightarrow C \in A)] >>> native [ ESymbol Op "\8704" , EIdentifier "A" , ESpace (1 % 6) , ESymbol Op "\8707" , EIdentifier "P" , ESpace (1 % 6) , ESymbol Op "\8704" , EIdentifier "B" , ESpace (1 % 6) , ESymbol Open "[" , EIdentifier "B" , ESymbol Rel "\8712" , EIdentifier "P" , ESymbol Rel "\8660" , ESymbol Op "\8704" , EIdentifier "C" , ESpace (1 % 6) , ESymbol Open "(" , EIdentifier "C" , ESymbol Rel "\8712" , EIdentifier "B" , ESymbol Rel "\8658" , EIdentifier "C" , ESymbol Rel "\8712" , EIdentifier "A" , ESymbol Close ")" , ESymbol Close "]" ]