This is LaTeX code:
[latex]
\left( {\forall n \in \textbf{N}} \right)\left( {B_n \in A} \right)
[/latex]