\input {headers} 
 \Huge 

$$\forall x \in X:    \exists y \in Y :   x=y$$

 \end{document}