This is LaTeX code:
[latex]
A^c \Leftrightarrow x \in Int A^c
[/latex]