This is LaTeX code:
[latex]
F(f) \ : \ B \times C \rightarrow A
[/latex]