--- a/manuals/xcv/node7.html
+++ b/manuals/xcv/node7.html
@@ -64,7 +64,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">.
+ ALT="$\rightarrow\ $">.
 <BR>
 A magnifying glass appears.
 Move mouse around. The area over the mouse indicator is enlarged.
@@ -74,7 +74,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">.
+ ALT="$\rightarrow\ $">.
 <BR>
 
 <P>