If $P(x)$ is a predicate with domain $D,$ the truth set of $P(x)$ is denoted

We read these symbols out loud as

$\{xsubD|P(x)\}$; the set of all $x$ in $D$ such that $P(x)$

$\{xsubB|P(x)\}$ the set of all $x$ in $B$ such that $P(x)$

$\{xinD|P(x)\}$; the set of all $x$ in $D$ such that $P(x)$

$\{xinB|P(x)\}$; the set of all $x$ in $B$ such that $P(x)$

$\{xsubD|P(x)\}$;$,$ the subset of $x$ in $D$ such that $P(x)$