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

"not in" operator.

diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index 029da07f654c692afbfec852e1978fa55db8b698..988fc90bef37b6af65c12b049c4b99981136d5dd 100644 (file)
--- 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.}

diff --git a/Doc/libtypes.tex b/Doc/libtypes.tex
index 029da07f654c692afbfec852e1978fa55db8b698..988fc90bef37b6af65c12b049c4b99981136d5dd 100644 (file)
--- a/Doc/libtypes.tex
+++ b/Doc/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.}