diff --git a/docs/cmu-user/compiler-hint.tex b/docs/cmu-user/compiler-hint.tex
index 5c16d177b50f8f8b747981216caff8b58a4de3fd..71387d8ebf92cde51d1c99982395d57bcec9f408 100644
--- a/docs/cmu-user/compiler-hint.tex
+++ b/docs/cmu-user/compiler-hint.tex
@@ -949,7 +949,7 @@ Variables appearing as \code{if} tests are interpreted as
 \code{=} into \code{eql} where possible.  It is difficult to do
 inference directly on \code{=} since it does implicit coercions.
 
-When there is an explicit \code{$<$} or \code{$>$} test on numeric
+When there is an explicit \code{\textless} or \code{\textgreater} test on numeric
 variables, the compiler makes inferences about the ranges the
 variables can assume in the true and false branches. This is mainly
 useful when it proves that the values are small enough in magnitude to
diff --git a/docs/cmu-user/cross-referencing.tex b/docs/cmu-user/cross-referencing.tex
index 81f67951da4d108ee312f1a60b7b72f2a6ee60a8..a65dc3656f4f32961213ef5234f03c6d6814b22a 100644
--- a/docs/cmu-user/cross-referencing.tex
+++ b/docs/cmu-user/cross-referencing.tex
@@ -231,7 +231,7 @@ false, and that the first clause of the \code{if} will never be taken
 (this optimization is called dead-code elimination). XREF will
 therefore not register a call to the function \code{sin} from the
 function \code{foo}. Likewise, no calls to the functions \code{sqrt}
-and \verb|<| are registered, because the compiler has eliminated the
+and \code{\textless} are registered, because the compiler has eliminated the
 code that evaluates the condition. Finally, no call to the function
 \code{expt} is generated, because the compiler was able to evaluate
 the result of the expression \code{(expt 3 2)} at compile-time (though
diff --git a/docs/cmu-user/debugger.tex b/docs/cmu-user/debugger.tex
index 2f898a4b4fc0104127f34bb33d88a469df02fa31..54438e024bb16ea64e03ee7b6f339b51b73a05ff 100644
--- a/docs/cmu-user/debugger.tex
+++ b/docs/cmu-user/debugger.tex
@@ -230,10 +230,10 @@ values displayed will be the argument values, not values of the
 
 If the variable for an argument is never referenced by the function, it will be
 deleted.  The variable value is then unavailable, so the debugger prints
-\code{\#$<$unused-arg$>$} instead of the value.  Similarly, if for any of a number of
+\code{\#\textless unused-arg\textgreater} instead of the value.  Similarly, if for any of a number of
 reasons (described in more detail in section \ref{debug-vars}) the value of the
 variable is unavailable or not known to be available, then
-\code{\#$<$unavailable-arg$>$} will be printed instead of the argument value.
+\code{\#\textless unavailable-arg\textgreater} will be printed instead of the argument value.
 
 Printing of argument values is controlled by \code{*debug-print-level*} and
 \varref{debug-print-length}.