Remove superfluous comman from between "not" and "in" when describing the

"not in" operator.

1 files changed, 1 insertions, 1 deletions

diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index 029da07..988fc90 100644
--- a/Doc/lib/libtypes.tex
+++ b/Doc/lib/libtypes.tex
@@ -313,7 +313,7 @@ comma, e.g., \code{(d,)}.
 \indexii{list}{type}
 
 Sequence types support the following operations.  The \samp{in} and
-\samp{not\,in} operations have the same priorities as the comparison
+\samp{not in} operations have the same priorities as the comparison
 operations.  The \samp{+} and \samp{*} operations have the same
 priority as the corresponding numeric operations.\footnote{They must
 have since the parser can't tell the type of the operands.}