This is LaTeX code:
[latex]
\forall x, y \in ProgramiZaCitanjeMaila : moze(x) \Leftrightarrow moze(y)
[/latex]