This is LaTeX code:
[latex]
\Phi(z_\alpha)\leq 1-\alpha
[/latex]