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

"not in" operator.

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.}

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.}