This is LaTeX code:
[latex]
(\exists !x (x>3)) \iff ((\exists x)(x>3) \land (\forall y)(x\neq y \implies y \leq 3) )
[/latex]