User:Wherewithal

From Wikipedia, the free encyclopedia

A = B \Leftrightarrow (\forall x)[x \in A \Leftrightarrow x \in B]