test.php

ex) x \subset y \Longleftrightarrow \forall z\;(z \in x \Rightarrow z \in y)