Fuente TeX:

\Gamma_1 \equiv \{ \neg q \}