Quantor

$$\exists x$$, $$\bigvee_{x}$$, $$(Ex)$$