This is LaTeX code:
[latex]
\bigcup_{p\_prost}\{k*p \in N : k \in N\} \subset N
[/latex]