This is LaTeX code:

[latex]
 
f : \ B \rightarrow ^{C}A
 
[/latex]