--- a/manuals/xcv/node4.html
+++ b/manuals/xcv/node4.html
@@ -56,7 +56,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">
+ ALT="$\rightarrow\ $">
 from the menu bar.
 
 <P>