1.1 --- a/doc-src/Nitpick/nitpick.tex	Sat Apr 24 16:43:03 2010 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Sat Apr 24 16:44:45 2010 +0200
     1.3 @@ -2592,8 +2592,8 @@
     1.4  must be of the form
     1.5  
     1.6  \qquad $\lbrakk P_1;\> \ldots;\> P_m;\> M~(c\ t_{11}\ \ldots\ t_{1n});\>
     1.7 -\ldots;\> M~(c\ t_{k1}\ \ldots\ t_{kn})\rbrakk \,\Longrightarrow\, c\ u_1\
     1.8 -\ldots\ u_n$,
     1.9 +\ldots;\> M~(c\ t_{k1}\ \ldots\ t_{kn})\rbrakk$ \\
    1.10 +\hbox{}\qquad ${\Longrightarrow}\;\, c\ u_1\ \ldots\ u_n$,
    1.11  
    1.12  where the $P_i$'s are side conditions that do not involve $c$ and $M$ is an
    1.13  optional monotonic operator. The order of the assumptions is irrelevant.