This is LaTeX code:
[latex]
(I | C') \implies A^t = C' \implies A = (C')^t
[/latex]