This is LaTeX code:
[latex]
g \ : \ B \times C \rightarrow A
[/latex]