This is LaTeX code:

[latex]
 
g \ : \ B \times C \rightarrow A
 
[/latex]