--- a/manuals/xcv/node5.html
+++ b/manuals/xcv/node5.html
@@ -57,7 +57,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">
+ ALT="$\rightarrow\ $">
 so there are now two images on the stack.
 
 <P>
@@ -90,7 +90,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">.
+ ALT="$\rightarrow\ $">.
 </DL>
 
 <P>