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