# HG changeset patch
# User blanchet
# Date 1280837189 -7200
# Node ID 84c3d801bddadda2d4693071144298d379703c22
# Parent  bc2f9383fd592acb6420e51e7cf0c800f3cee0a5
make example easier to parse

diff -r bc2f9383fd59 -r 84c3d801bdda doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Tue Aug 03 14:04:48 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex	Tue Aug 03 14:06:29 2010 +0200
@@ -2690,8 +2690,8 @@
 \prew
 \textbf{definition}~\textit{optimum} \textbf{where} [\textit{nitpick\_simp}]: \\
 ``$\textit{optimum}~t =
-     (\forall u.\; \textit{consistent~u} \longrightarrow \textit{alphabet~t} = \textit{alphabet~u}$ \\
-\phantom{``$\textit{optimum}~t = (\forall u.\;$}${\longrightarrow}\; \textit{freq}~t = \textit{freq}~u \longrightarrow
+     (\forall u.\; \textit{consistent~u} \mathrel{\land} \textit{alphabet~t} = \textit{alphabet~u}$ \\
+\phantom{``$\textit{optimum}~t = (\forall u.\;$}${\mathrel{\land}}\; \textit{freq}~t = \textit{freq}~u \longrightarrow
          \textit{cost~t} \le \textit{cost~u})$''
 \postw