A colon (\(:\)) can be used in place of the vertical bar (\(\vert\)), so

\begin{equation*} \{ x \mid P(x) \} = \{ x : P(x) \}. \end{equation*}