\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{\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}}


 $\{$\\ 
$ \Rbox  \Rdiamond  \Rdiamond  \Rbox C5 \sqsubseteq  \Rdiamond  ( C3   \sqcap    \Rnext C4 ) $\\ 
 $ \Rbox  ( C5   \sqcap    \Rbox  \ge 1.L4 )  \sqsubseteq  (  \Rbox C0   \sqcap    \Rdiamond  \ge 2.L3 ) $\\ 
 $ \Rdiamond  ( C3   \sqcap    \Rdiamond  \ge 1.G1 )  \sqsubseteq  (  \Rnext C1   \sqcap    \Rbox C5 ) $\\ 
 $ (  \Rdiamond C5   \sqcap    \Rbox  \ge 1.G0 )  \sqsubseteq  (  \Rnext C3   \sqcap    \Rdiamond C0 ) $\\ 
 $ (  \Rnext C2   \sqcap    \Rnext  \ge 2.G3 )  \sqsubseteq  \Rdiamond  ( C3   \sqcap    \Rnext  \ge 1.G1 ) $\\ 
 $ (  \ge 1.G2   \sqcap    ( C0   \sqcap    \ge 1.G1 )  )  \sqsubseteq  \Rbox  \Rdiamond  ( C1   \sqcap   C1 ) $\\ 
 $ \Rbox  ( C4   \sqcap    \Rbox  \ge 1.G4 )  \sqsubseteq  \Rdiamond  \Rdiamond  ( C5   \sqcap   C0 ) $\\ 
 $ \Rbox  \Rbox  \Rbox  \Rnext C2 \sqsubseteq  (  \Rnext C0   \sqcap    \Rnext  \ge 2.L5 ) $\\ 
 $ (  \Rbox C4   \sqcap    \Rbox  \ge 1.G1 )  \sqsubseteq  \Rdiamond  \Rbox  (  \ge 3.L2   \sqcap   C5 ) $\\ 
 $ \Rbox  (  \ge 3.G4   \sqcap    \Rnext C4 )  \sqsubseteq  \Rbox  (  \ge 3.G1   \sqcap    \Rdiamond  \ge 3.L4 ) $\\ 
 $ \Rbox  (  \ge 1.L0   \sqcap    \Rbox C4 )  \sqsubseteq  (  \ge 3.L2   \sqcap    (  \ge 2.G3   \sqcap    \ge 1.G4 )  ) $\\ 
 $ ( C2   \sqcap    \Rdiamond  \Rdiamond C3 )  \sqsubseteq  \Rbox  (  \ge 3.G4   \sqcap    \Rnext  \ge 1.L2 ) $\\ 
 $ \Rdiamond  ( C2   \sqcap    \Rdiamond  \ge 2.G3 )  \sqsubseteq  \Rbox  \Rdiamond  \Rdiamond  \Rdiamond  \ge 2.L1$\\ 
 $ \Rdiamond  (  \ge 2.L4   \sqcap    \Rdiamond  \ge 3.G2 )  \sqsubseteq  ( C5   \sqcap    \Rdiamond  \Rdiamond  \ge 3.L4 ) $\\ 
 $ ( C1   \sqcap    ( C3   \sqcap   C2 )  )  \sqsubseteq  (  \Rnext  \ge 1.G2   \sqcap    \Rnext  \ge 2.L5 ) $\\ 
 $ \Rbox  \Rbox  \Rbox  \Rnext C5 \sqsubseteq  \Rdiamond  ( C4   \sqcap    \Rdiamond C1 ) $\\ 
 $ \Rbox  \Rdiamond  \Rbox  \Rnext C0 \sqsubseteq  \Rdiamond  \Rdiamond  \Rdiamond  \Rbox  \ge 1.G3$\\ 
 $ ( C0   \sqcap    \Rdiamond  \Rdiamond C5 )  \sqsubseteq  \Rdiamond  \Rbox  \Rdiamond  \Rnext C2$\\ 
 $ \Rbox  \Rdiamond  ( C3   \sqcap    \ge 1.G4 )  \sqsubseteq  \Rdiamond  ( C5   \sqcap    \Rnext C0 ) $\\ 
 $ \Rbox  (  \ge 3.L5   \sqcap    \Rnext C3 )  \sqsubseteq  (  \Rbox  \ge 1.G5   \sqcap    \Rnext C2 ) $\\ 
 $\}$ 
\end{document}