Hi,

In the document (attached below) the spacing between the equations
is bigger than the spacing between the equations and the text.  
Is there any way to make the spacing look more consistent ?

Also I'm having a problem with LaTex breaking a page prematurely
and inserting \nopagebreak doesn't seem to have any effect.
Thanks for any tips on getting around this.
-- 

    Nick




#This file was created by <afshar> Wed Jan  6 14:02:47 1999
#LyX 0.12 (C) 1995-1998 Matthias Ettrich and the LyX Team
\lyxformat 2.15
\textclass amsart
\begin_preamble
% \setlength{\topmargin}{-1.0cm}
%  \setlength{\textheight}{22.0cm}

\setlength{\textwidth}{15.0 cm}

 \setlength{\oddsidemargin}{.5in}
 \setlength{\evensidemargin}{.5in}

\setlength{\headsep}{1.5 cm}

\setlength{\unitlength}{1.0 cm}

\newcommand{\D}{\displaystyle}
\newcommand{\p}{^\prime}
\newcommand{\Dprime}{{\prime\prime}}
\newcommand{\Tprime}{{\prime\prime\prime}}
\newcommand{\SP}{\hspace{0.2cm}}
\newcommand{\DSp}{\hspace{0.4cm}}
\newcommand{\Match}{\stackrel{\kappa}{\D \stackrel{\D \frown}{\smile}}}
 \usepackage{latexsym}
 \usepackage{boxedminipage}
 \usepackage{epsfig}
\end_preamble
\options 12pt
\language default
\inputencoding default
\fontscheme default
\graphics default
\paperfontsize 12
\spacing onehalf 
\papersize Default
\paperpackage a4
\use_geometry 0
\use_amsmath 1
\paperorientation portrait
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\defskip medskip
\quotes_language english
\quotes_times 2
\papercolumns 1
\papersides 1
\paperpagestyle default

\layout Standard

Matching may also involve events constructed by 
\family typewriter 
wrap 
\family default 
and 
\family typewriter 
choose:
\family default 

\begin_inset Formula 
\[
\frac{\theta \vdash (ev_{1},...,ev_{i},...ev_{k})\, \, \leadsto _{k}\, \, 
(e_{1},...e_{i},...,e_{k})\, \, \, i\in \{1..k\}}{\theta \vdash (ev_{1},...,\, \, 
ev_{i}\Rightarrow v,...ev_{k})\, \, \leadsto _{k}\, \, (e_{1},...,e_{i}\, \, 
v,...e_{k})}\]

\end_inset 


\begin_inset Formula 
\[
\frac{\theta \vdash (ev_{1},...ev_{i},...,ev_{k},)\, \, \leadsto _{k}\, \, 
(e_{1},...e_{i},...,e_{k})\, \, \, i\in \{1..k\}}{\theta \vdash 
(ev_{1},...,ev_{i}\oplus ev^{\prime },...ev_{k})\, \, \leadsto _{k}\, \, 
(e_{1},...e_{i},...,e_{k})}\]

\end_inset 


\begin_inset Formula 
\[
\frac{\theta \vdash (ev_{1},...ev_{i},...,ev_{k},)\, \, \leadsto _{k}\, \, 
(e_{1},...e_{i},...,e_{k})\, \, \, i\in \{1..k\}}{\theta \vdash (ev_{1},...,ev^{\prime 
}\oplus ev_{i},...ev_{k})\, \, \leadsto _{k}\, \, (e_{1},...e_{i},...,e_{k})}\]

\end_inset 

The following rule indicates that the order of events in the matching is
 not significant.
\the_end

-- 
                +++ the lyx project user mailing list +++
                To unsubscribe from this list send mail to 
                         [EMAIL PROTECTED]
                    with the **Subject** unsubscribe.

Reply via email to