TeX source:

\left \{ k \in \mathbb{P} \; | \; k - 1 \; \mathrm{is\; a \; multiple\; of\; } 7 \right \}