# [texhax] Negative spacing within maths mode

E. Krishnan ekmath at asianetindia.com
Fri Dec 1 01:28:14 CET 2006

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



More information about the texhax mailing list