The first part of the set-builder notation is a variable or an expression containing a variable, possibly followed by "∈ A" for some set A. The second part is some property of the variable. So, the correct notations are and .

Hint: In LaTeX, use \mid to write the middle vertical bar because it creates correct spaces around it.