\documentclass[a4paper,10pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{pdfpages}
\usepackage{latexsym}
\usepackage{amssymb,amsthm,amsmath}

\begin{document}
 \newcommand{\nxt}{{\ensuremath\raisebox{0.25ex}{\text{\scriptsize$\bigcirc$}}}}
\newcommand{\Rdiamond}{\Diamond_{\!F}}
\newcommand{\Rbox}{\Box_{\!F}}
\newcommand{\Rnext}{\nxt_{\!F}}
\newcommand{\Ldiamond}{\Diamond_{\!P}}
\newcommand{\Lbox}{\Box_{\!P}}
\newcommand{\Lnext}{\nxt_{\!P}}
\newcommand{\Land}{\sqcap}
\newcommand{\SVdiamond}{\mathop{\ooalign{$\Diamond$ \cr \kern0.5ex
    \raisebox{0.35ex}{\scalebox{0.7}{$*$}}} \kern-0.9ex}}
\newcommand{\SVbox}{\mathop{\ooalign{$\Box$ \cr \kern0.42ex
    \raisebox{0.3ex}{\scalebox{0.7}{$*$}}} \kern-0.9ex}}


 $\{$\\ 
$ \Rdiamond ( \ge 1.L0  \Land  \Rnext C1) \sqsubseteq  \Rdiamond ( \ge 2.G0  \Land  \Rbox  \ge 1.L0)$\\ 
 $ \Rdiamond  \Rbox (C0  \Land  \ge 3.G1) \sqsubseteq (C0  \Land  \Rbox  \Rbox C0)$\\ 
 $(C1  \Land  \Rdiamond  \Rnext  \ge 1.G0) \sqsubseteq  \Rbox  \Rbox (C1  \Land  \ge 1.L1)$\\ 
 $ \Rbox  \Rbox  \Rdiamond  \Rnext  \ge 1.L1 \sqsubseteq ( \Rdiamond  \ge 2.G0  \Land  \Rnext  \ge 1.G0)$\\ 
 $( \Rdiamond C0  \Land  \Rnext  \ge 2.L0) \sqsubseteq ( \Rnext  \ge 3.L0  \Land  \Rnext  \ge 1.L1)$\\ 
 $( \ge 2.L0  \Land ( \ge 3.L0  \Land C1)) \sqsubseteq ( \ge 1.G1  \Land  \Rdiamond  \Rnext C1)$\\ 
 $ \Rdiamond  \Rbox  \Rdiamond  \Rbox C0 \sqsubseteq ( \Rnext  \ge 1.L0  \Land  \Rbox  \ge 3.G0)$\\ 
 $ \Rdiamond  \Rbox  \Rbox  \Rnext C1 \sqsubseteq (C1  \Land  \Rdiamond  \Rnext  \ge 3.G1)$\\ 
 $ \Rbox  \Rbox (C0  \Land  \ge 3.G0) \sqsubseteq ( \ge 1.L1  \Land (C0  \Land C0))$\\ 
 $ \Rbox  \Rdiamond ( \ge 1.L1  \Land C1) \sqsubseteq  \Rdiamond  \Rdiamond  \Rdiamond  \Rnext C1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \ge 3.L0 \sqsubseteq  \ge 2.L0$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.G0 \sqsubseteq  \ge 2.G0$\\ 
 $ \ge 2.G0 \sqsubseteq  \ge 1.G0$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G0 \sqsubseteq  \Rbox  \ge 3.G0$\\ 
 $ \Rdiamond  \ge 2.G0 \sqsubseteq  \Rbox  \ge 2.G0$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $\}$ 
\end{document}