--- a/manuals/xcv/node10.html
+++ b/manuals/xcv/node10.html
@@ -62,7 +62,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">
+ ALT="$\rightarrow\ $">
 to create an image with associated edges.
 Select a few edges by clicking on them with the left mouse button.  To
 deselect a line click on it with the middle mouse button.
@@ -74,7 +74,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">
+ ALT="$\rightarrow\ $">
 option to select a new colour for the selected edges.  The edges will be unselected 
 and displayed in the new colour.
 
@@ -86,7 +86,7 @@
 <IMG
  WIDTH="30" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
  SRC="img1.gif"
- ALT="--->">
+ ALT="$\rightarrow\ $">
 menu item 
 can be used to change the width of all selected edges in the image.