updated docs

--- a/doc-src/Nitpick/nitpick.tex	Mon Feb 21 11:50:31 2011 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Mon Feb 21 11:50:37 2011 +0100
@@ -2543,6 +2543,10 @@
 alternative definition should be logically equivalent to the constant's actual
 axiomatic definition and should be of the form
 
+\qquad $c~{?}x_1~\ldots~{?}x_n \,=\, t$,
+
+or
+
 \qquad $c~{?}x_1~\ldots~{?}x_n \,\equiv\, t$,
 
 where ${?}x_1, \ldots, {?}x_n$ are distinct variables and $c$ does not occur in