<<< omml ∀ A   ∃ P   ∀ B   [ B ∈ P ⇔ ∀ C   ( C ∈ B ⇒ C ∈ A ) ] >>> native [ ESymbol Ord "\8704" , EIdentifier "A" , ESpace (1 % 6) , ESymbol Ord "\8707" , EIdentifier "P" , ESpace (1 % 6) , ESymbol Ord "\8704" , EIdentifier "B" , ESpace (1 % 6) , ESymbol Open "[" , EIdentifier "B" , ESymbol Rel "\8712" , EIdentifier "P" , ESymbol Rel "\8660" , ESymbol Ord "\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 "]" ]