Zagadnienie: Podpis pod kwantyfikatorem, a nie obok w środowisku
$$ $$
$$\newcommand{\foralld}{\mathop{\forall}}
\newcommand{\existsd}{\mathop{\exists}}$$
Rozwiązanie: W celu skonfigurowania tego w preambule dodajemy nowe komendy
\newcommand{\foralld}{\mathop{\forall}}
\newcommand{\existsd}{\mathop{\exists}}