\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.
% x,y coords can be divided by 2 for closer drawing
\ThirdNodeType(0,-2){\rnode{d1}{$d_1$}}
\ThirdNodeType(2,0){\rnode{b}{$b$}}
\ThirdNodeType(4,-2){\rnode{d0}{$d_0$}}
\psset{nodesep=3pt}
\ncline{d1}{b}
\naput{$Q_j$}
\nbput{$\alpha_1$}
\ncline{b}{d0}
\naput{$Qi$}
\nbput{$\alpha_0$}
\vspace{1.4in} % vspace needed to resolve float issues with figures
\caption{lemma-A}
                \label{lemma-A}
{latex}

Here is text that comes after the latex format