[texhax] Negative spacing within maths mode

[E. Krishnan]

On Thu, 30 Nov 2006, James Smith wrote:

<snip>
....code......
</snip>

> How do I move the last line, containing the third parameter, closing
> brace and post-condition, up about half a line?

Please try giving a negative vertical space before the offending line as 
below:

\[
\setlength{\arraycolsep}{0pt}
\begin{array}{ll}
\{(s=\epsilon)\wedge(t=\epsilon)\wedge(r=L_j^M)\}\mathsf{read\_token}(&*
s:string,\\
&\quad*t:string,\\[-5pt]       %% decreased vertical space
..........................
<remaining code>


By the way, I think it'd be better to use the "amsmath" package, so that 
you can dispense with all those arrays and simply write;


\begin{equation*}
  \begin{split}
    \{(s=\epsilon)\wedge(t=\epsilon)\wedge(r=L_j^M)\}\mathsf{read\_token}
    (& *s:string,\\[-3pt]
     & \quad *t:string,\\[-10pt]
     & \qquad *r:line)
     \begin{cases}
       (s=s_j)\wedge(t=t_j)\wedge(r=L_{j+1}^M)        & 1\leq j<M\\
       (s=\epsilon)\wedge(t=\epsilon)\wedge(r=L_M^M)  & j=M
     \end{cases}
  \end{split}
\end{equation*}



-- 
Krishnan