This is LaTeX code:
[latex]
\circ : G \times G \rightarrow G
[/latex]