Das kommt darauf an, was du schreiben darfst. Wenn du ein \(x\) aus einer bestimmten Menge auswählen möchtest, darfst du das normalerweise in den Quantorenteil einfügen, z.B.:

\(\exists x\in M:P(x)\)

Wenn du jedes Zeichen nacheinander aussprichst, ist es selbsterklärend wieso es das liefert, was du willst: "Es existiert ein x in M, für das P(x) gilt."

In manchen Fällen ist das aus syntaktischen Gründen nicht erlaubt, dann kannst du in den Aussagenteil die Bedingung mit einfügen:

\(\exists x:(x\in M\land P(x))\).

Die beiden Formeln sind offensichtlich äquivalent, es kommt halt nur drauf an, was du schreiben darfst und was nicht.