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