\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 (C1  \Land  \Rdiamond C4) \sqsubseteq (C5  \Land  \Rbox  \Rdiamond C5)$\\ 
 $( \Rnext  \ge 1.L4  \Land  \Rnext  \ge 2.G5) \sqsubseteq  \Rdiamond (C4  \Land  \Rbox  \ge 1.L4)$\\ 
 $ \Rdiamond (C4  \Land  \Rbox  \ge 2.L5) \sqsubseteq  \Rdiamond (C2  \Land  \Rnext  \ge 3.G4)$\\ 
 $( \Rbox  \ge 2.G3  \Land  \Rnext  \ge 1.L4) \sqsubseteq ( \Rnext  \ge 2.G4  \Land  \Rbox  \ge 2.G5)$\\ 
 $ \Rdiamond (C4  \Land  \Rnext  \ge 3.G1) \sqsubseteq  \Rbox (C0  \Land  \Rnext  \ge 2.L2)$\\ 
 $ \Rdiamond  \Rbox (C1  \Land  \ge 2.G4) \sqsubseteq ( \Rdiamond C1  \Land  \Rdiamond  \ge 1.L5)$\\ 
 $ \Rdiamond  \Rdiamond  \Rdiamond  \Rbox C4 \sqsubseteq (C0  \Land  \Rbox  \Rnext  \ge 1.G0)$\\ 
 $ \Rdiamond  \Rdiamond  \Rdiamond  \Rdiamond  \ge 1.L4 \sqsubseteq  \Rbox ( \ge 1.L2  \Land  \Rbox C2)$\\ 
 $ \Rdiamond ( \ge 2.G2  \Land  \Rbox  \ge 2.L0) \sqsubseteq  \Rdiamond  \Rdiamond  \Rbox  \Rnext C5$\\ 
 $(C0  \Land  \Rbox  \Rdiamond  \ge 1.G0) \sqsubseteq ( \ge 3.G2  \Land (C2  \Land C0))$\\ 
 $( \Rnext  \ge 2.L2  \Land  \Rnext  \ge 2.L1) \sqsubseteq  \Rbox  \Rbox  \Rdiamond  \Rnext C4$\\ 
 $( \ge 2.L3  \Land (C0  \Land  \ge 3.G1)) \sqsubseteq ( \Rdiamond C2  \Land  \Rnext  \ge 2.G5)$\\ 
 $ \Rbox (C5  \Land  \Rnext  \ge 1.G0) \sqsubseteq ( \Rnext C1  \Land  \Rdiamond C0)$\\ 
 $ \Rdiamond (C2  \Land  \Rnext  \ge 3.L1) \sqsubseteq  \Rbox  \Rbox  \Rdiamond  \Rdiamond C2$\\ 
 $ \Rbox  \Rbox ( \ge 1.L3  \Land  \ge 2.G3) \sqsubseteq ( \Rdiamond C4  \Land  \Rnext  \ge 3.G4)$\\ 
 $ \Rdiamond ( \ge 3.L3  \Land  \Rbox C0) \sqsubseteq  \Rdiamond (C3  \Land  \Rbox C2)$\\ 
 $( \ge 3.G4  \Land ( \ge 3.G2  \Land  \ge 3.L2)) \sqsubseteq  \Rdiamond (C4  \Land  \Rnext  \ge 2.L0)$\\ 
 $( \ge 1.G5  \Land  \Rbox  \Rdiamond  \ge 3.G3) \sqsubseteq ( \Rdiamond  \ge 2.G4  \Land  \Rbox C0)$\\ 
 $( \Rdiamond C2  \Land  \Rnext  \ge 1.L0) \sqsubseteq (C2  \Land  \Rbox  \Rnext  \ge 3.L3)$\\ 
 $ \Rbox  \Rdiamond  \Rdiamond  \Rdiamond C3 \sqsubseteq ( \Rnext C1  \Land  \Rnext  \ge 1.L3)$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.L1 \sqsubseteq  \ge 2.L1$\\ 
 $ \ge 2.L1 \sqsubseteq  \ge 1.L1$\\ 
 $ \ge 3.L2 \sqsubseteq  \ge 2.L2$\\ 
 $ \ge 2.L2 \sqsubseteq  \ge 1.L2$\\ 
 $ \ge 3.L3 \sqsubseteq  \ge 2.L3$\\ 
 $ \ge 2.L3 \sqsubseteq  \ge 1.L3$\\ 
 $ \ge 2.L5 \sqsubseteq  \ge 1.L5$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \ge 3.G2 \sqsubseteq  \ge 2.G2$\\ 
 $ \ge 2.G2 \sqsubseteq  \ge 1.G2$\\ 
 $ \ge 3.G3 \sqsubseteq  \ge 2.G3$\\ 
 $ \ge 2.G3 \sqsubseteq  \ge 1.G3$\\ 
 $ \ge 3.G4 \sqsubseteq  \ge 2.G4$\\ 
 $ \ge 2.G4 \sqsubseteq  \ge 1.G4$\\ 
 $ \ge 2.G5 \sqsubseteq  \ge 1.G5$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 3.G2 \sqsubseteq  \Rbox  \ge 3.G2$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G4 \sqsubseteq  \Rbox  \ge 1.G4$\\ 
 $ \Rdiamond  \ge 1.G3 \sqsubseteq  \Rbox  \ge 1.G3$\\ 
 $ \Rdiamond  \ge 1.G2 \sqsubseteq  \Rbox  \ge 1.G2$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G3 \sqsubseteq  \Rbox  \ge 3.G3$\\ 
 $ \Rdiamond  \ge 3.G4 \sqsubseteq  \Rbox  \ge 3.G4$\\ 
 $ \Rdiamond  \ge 1.G5 \sqsubseteq  \Rbox  \ge 1.G5$\\ 
 $ \Rdiamond  \ge 2.G2 \sqsubseteq  \Rbox  \ge 2.G2$\\ 
 $ \Rdiamond  \ge 2.G3 \sqsubseteq  \Rbox  \ge 2.G3$\\ 
 $ \Rdiamond  \ge 2.G4 \sqsubseteq  \Rbox  \ge 2.G4$\\ 
 $ \Rdiamond  \ge 2.G5 \sqsubseteq  \Rbox  \ge 2.G5$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.L1 \sqsubseteq  \ge 2.L1$\\ 
 $ \ge 2.L1 \sqsubseteq  \ge 1.L1$\\ 
 $ \ge 3.L2 \sqsubseteq  \ge 2.L2$\\ 
 $ \ge 2.L2 \sqsubseteq  \ge 1.L2$\\ 
 $ \ge 3.L3 \sqsubseteq  \ge 2.L3$\\ 
 $ \ge 2.L3 \sqsubseteq  \ge 1.L3$\\ 
 $ \ge 2.L5 \sqsubseteq  \ge 1.L5$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \ge 3.G2 \sqsubseteq  \ge 2.G2$\\ 
 $ \ge 2.G2 \sqsubseteq  \ge 1.G2$\\ 
 $ \ge 3.G3 \sqsubseteq  \ge 2.G3$\\ 
 $ \ge 2.G3 \sqsubseteq  \ge 1.G3$\\ 
 $ \ge 3.G4 \sqsubseteq  \ge 2.G4$\\ 
 $ \ge 2.G4 \sqsubseteq  \ge 1.G4$\\ 
 $ \ge 2.G5 \sqsubseteq  \ge 1.G5$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 3.G2 \sqsubseteq  \Rbox  \ge 3.G2$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G4 \sqsubseteq  \Rbox  \ge 1.G4$\\ 
 $ \Rdiamond  \ge 1.G3 \sqsubseteq  \Rbox  \ge 1.G3$\\ 
 $ \Rdiamond  \ge 1.G2 \sqsubseteq  \Rbox  \ge 1.G2$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G3 \sqsubseteq  \Rbox  \ge 3.G3$\\ 
 $ \Rdiamond  \ge 3.G4 \sqsubseteq  \Rbox  \ge 3.G4$\\ 
 $ \Rdiamond  \ge 1.G5 \sqsubseteq  \Rbox  \ge 1.G5$\\ 
 $ \Rdiamond  \ge 2.G2 \sqsubseteq  \Rbox  \ge 2.G2$\\ 
 $ \Rdiamond  \ge 2.G3 \sqsubseteq  \Rbox  \ge 2.G3$\\ 
 $ \Rdiamond  \ge 2.G4 \sqsubseteq  \Rbox  \ge 2.G4$\\ 
 $ \Rdiamond  \ge 2.G5 \sqsubseteq  \Rbox  \ge 2.G5$\\ 
 $ \ge 2.L0 \sqsubseteq  \ge 1.L0$\\ 
 $ \ge 3.L1 \sqsubseteq  \ge 2.L1$\\ 
 $ \ge 2.L1 \sqsubseteq  \ge 1.L1$\\ 
 $ \ge 3.L2 \sqsubseteq  \ge 2.L2$\\ 
 $ \ge 2.L2 \sqsubseteq  \ge 1.L2$\\ 
 $ \ge 3.L3 \sqsubseteq  \ge 2.L3$\\ 
 $ \ge 2.L3 \sqsubseteq  \ge 1.L3$\\ 
 $ \ge 2.L5 \sqsubseteq  \ge 1.L5$\\ 
 $ \ge 3.G1 \sqsubseteq  \ge 1.G1$\\ 
 $ \ge 3.G2 \sqsubseteq  \ge 2.G2$\\ 
 $ \ge 2.G2 \sqsubseteq  \ge 1.G2$\\ 
 $ \ge 3.G3 \sqsubseteq  \ge 2.G3$\\ 
 $ \ge 2.G3 \sqsubseteq  \ge 1.G3$\\ 
 $ \ge 3.G4 \sqsubseteq  \ge 2.G4$\\ 
 $ \ge 2.G4 \sqsubseteq  \ge 1.G4$\\ 
 $ \ge 2.G5 \sqsubseteq  \ge 1.G5$\\ 
 $ \Rdiamond  \ge 3.G1 \sqsubseteq  \Rbox  \ge 3.G1$\\ 
 $ \Rdiamond  \ge 3.G2 \sqsubseteq  \Rbox  \ge 3.G2$\\ 
 $ \Rdiamond  \ge 1.G0 \sqsubseteq  \Rbox  \ge 1.G0$\\ 
 $ \Rdiamond  \ge 1.G4 \sqsubseteq  \Rbox  \ge 1.G4$\\ 
 $ \Rdiamond  \ge 1.G3 \sqsubseteq  \Rbox  \ge 1.G3$\\ 
 $ \Rdiamond  \ge 1.G2 \sqsubseteq  \Rbox  \ge 1.G2$\\ 
 $ \Rdiamond  \ge 1.G1 \sqsubseteq  \Rbox  \ge 1.G1$\\ 
 $ \Rdiamond  \ge 3.G3 \sqsubseteq  \Rbox  \ge 3.G3$\\ 
 $ \Rdiamond  \ge 3.G4 \sqsubseteq  \Rbox  \ge 3.G4$\\ 
 $ \Rdiamond  \ge 1.G5 \sqsubseteq  \Rbox  \ge 1.G5$\\ 
 $ \Rdiamond  \ge 2.G2 \sqsubseteq  \Rbox  \ge 2.G2$\\ 
 $ \Rdiamond  \ge 2.G3 \sqsubseteq  \Rbox  \ge 2.G3$\\ 
 $ \Rdiamond  \ge 2.G4 \sqsubseteq  \Rbox  \ge 2.G4$\\ 
 $ \Rdiamond  \ge 2.G5 \sqsubseteq  \Rbox  \ge 2.G5$\\ 
 $\}$ 
\end{document}