Matematica.tex
From Wikivyuka
$x^2_1 $
$\forall x\Biggl[P(x) \supset \exists z \biggl[\neg \forall y [Q(x, y) \supset P(f(\nu))] \land \forall y [Q(x, y) \supset P(x)]\biggr]\Biggr]$
$$-b \pm \sqrt{b^2 - 4ac} \over 2a$$
