This is LaTeX code:

[latex]

(\exists ! x)(x>3)

[/latex]