[texhax] Negative spacing within maths mode

[James Smith]

Hi,

forgive the rather long snippet:

+++

\[
\setlength{\arraycolsep}{0pt}
\begin{array}{ll}
\{(s=\epsilon)\wedge(t=\epsilon)\wedge(r=L_j^M)\}\mathsf{read\_token}(&*
s:string,\\
&\quad*t:string,\\
&\quad\quad*r:line)
\setlength{\extrarowheight}{2pt}
\begin{array}{clr}
\left\{
\begin{array}{ll}
\!\\
\!
\end{array}
\right.
&
\begin{array}{ll}
(s=s_j)\wedge(t=t_j)\wedge(r=L_{j+1}^M)\\
(s=\epsilon)\wedge(t=\epsilon)\wedge(r=L_M^M)
\end{array}
&
\begin{array}{ll}
\quad 1\leq j<M\\
\quad j=M
\end{array}
\end{array}
\end{array}
\label{read_token}
\]

+++

You should immediately see my problem when you compile this. How do I
move the last line, containing the third parameter, closing brace and
post-condition, up about half a line?

Kind regards,

Jim

-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.409 / Virus Database: 268.15.2/559 - Release Date:
30/11/2006