--- a/Doc/libsys.tex	Tue Nov 25 00:43:34 1997 +0000
+++ b/Doc/libsys.tex	Tue Nov 25 01:00:40 1997 +0000
@@ -176,7 +176,7 @@
 as thread switches and signal handlers.  The default is 10, meaning
 the check is performed every 10 Python virtual instructions.  Setting
 it to a larger value may increase performance for programs using
-threads.  Setting it to a value $\leq 0$ checks every virtual instruction,
+threads.  Setting it to a value \code{<=} 0 checks every virtual instruction,
 maximizing responsiveness as well as overhead.
 \end{funcdesc}