This is LaTeX code:
[latex]
f : (A, F) \to (A, F')
[/latex]