This is LaTeX code:
[latex]
\Psi\colon\{\overline{H} : \overline{H}\le \overline{G}\}\to\mathcal{P}(G)
[/latex]