This is LaTeX code:

[latex]
 
F(f) \ : \ B \times C \rightarrow A
 
[/latex]