# HG changeset patch
# User blanchet
# Date 1272120285 -7200
# Node ID 9ed32d1af63bdc970cb59193f6a2e915ba6e45d8
# Parent  2132f15b366f69f803305fadc342e1d699583c5c
fix typesetting

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