量化子と論理式を組み合わせた書き方
\exist x \geqq d [d\neq 1 \land d \neq x \land CanDivide(x,d)]ではなくて\exist d \leqq x [d\neq 1 \land d \neq x \land CanDivide(x,d)]な理由のことかな？
色々説明の方法があるけど
定義から説明する
\exist d\leqq x[\cdots]\overset{\rm def}{\iff} \exist d[d\leqq x\land\cdots]
意味から説明する
\existはすぐ後ろに続く変数にかかる
\exist x \geqq dだとdではなくxにかかってしまう
ちなみに、a\leqq {}^\exist x \leqq bという風に書けば、どの変数にかかっている(変数を束縛している)か明確になると思う
こういう書き方をしていた人を見かけたことが一度だけある
駿台の講師
一般的かどうかは不明