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