\begin{itemize}
\item
$\alpha = \delta \cdot a_n \cdot \varepsilon$
\item
$\gamma$ is the sequence returned by $wt(s_{n-1},Q_i)$ and $b$ is
its final state
\item
$a_n$ is an action of process $P_i$
\item
none of the sequences $\beta$, $\gamma$, or $\varepsilon$ contains
an action from process $P_i$
\item
$d_1$ decides 1 and $d_0$ decides 0
\end{itemize}

<pre>{latex}
\begin{itemize}
\item
$\alpha = \delta \cdot a_n \cdot \varepsilon$
\item
$\gamma$ is the sequence returned by $wt(s_{n-1},Q_i)$ and $b$ is
its final state
\item
$a_n$ is an action of process $P_i$
\item
none of the sequences $\beta$, $\gamma$, or $\varepsilon$ contains
an action from process $P_i$
\item
$d_1$ decides 1 and $d_0$ decides 0
\end{itemize}
{latex}
</pre>

Here is some plain text that proceeds the latex formatting

{latex}
% the latex macro returns an image result
%\enlargethispage{6in}    % keeps everything on one page so it is returned by latex macro.

\usepackage{pstricks}
\usepackage{pst-node,pst-tree,pst-pdf}

\pstree[treefit=tight,levelsep=*1cm]{\Tcircle{}}{% row 1
   \pstree{\Tcircle{}}{% row 2
    \pstree{\Tcircle{}}{% row 3 - 1st on left
      \Tr{} % row 4
      \Tr{}} % row 4
    \pstree{\Tcircle{}}{% row 3 - 2nd on left
      \Tr{} % row 4
      \Tr{}} % row 4
  }
     \pstree{\Tcircle{}}{% row 2 - right
        \pstree{\Tcircle{}}{% row 3 3rd from left
            \pstree{\Tcircle{}}{% row 4 circle
              \pstree{\Tr{}}{% row 5
                \Tn{} % row 6 - empty
                \pstree{\Tr{}}{ % row 6
                           \pstree{\Tr{}}{ % row 7
                                \Tn{} % row 8 - empty
                                \pstree{\Tr{}}{ % row 8
                                    \Tn{} % row 9 - empty
                                    \Tr[edge=\dedge]{} % row 9 - dashed
                                    }
                                }
                            \Tn{} % row 7 - empty
                            }
                  }
              \Tr{}} % row 5 node
         \Tr{}} % row
    \pstree{\Tcircle{}}{% row 3 far right
      \Tr{} % row 4
      \Tr{}} % row 4
  }
}
{latex}

Here is text that comes after the latex format