---

Alternative notation

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

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