diff --git a/docs/cmu-user/debugger.tex b/docs/cmu-user/debugger.tex
index 5d726b4f5c8f565c02c39e44a68798794ca8b980..2f898a4b4fc0104127f34bb33d88a469df02fa31 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{\#$<$unused-arg$>$} 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{\#$<$unavailable-arg$>$} will be printed instead of the argument value.
 
 Printing of argument values is controlled by \code{*debug-print-level*} and
 \varref{debug-print-length}.