...
Here is some sample output
Latex |
---|
Wiki Markup |
{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} |
-----------------------------
...