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}}

Porównanie działania z klasycznymi komendami \forall oraz \exists : $$\forall_{x \in X} \quad \foralld_{x \in X}$$
$$\exists_{x \in X} \quad \existsd_{x \in X}$$