This is LaTeX code:
[latex]
\prod_{i\in I}G_i=\{f:I\to \bigcup_{i\in I}G_i|f(i)\in G_i\}.
[/latex]