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