--- doc/user-guide/ug-commands.tex.orig	2011-04-15 11:45:08.000000000 -0600
+++ doc/user-guide/ug-commands.tex	2012-12-11 09:25:33.285718340 -0700
@@ -1985,7 +1985,7 @@
 
 The \cmd{x-show-current-proof} command creates a window showing the
 cur\-rent proof tree.  Every sequent in the tree is represented by a
-$\vdash$ symbol\index{"|-@$\vdash$}.  The proof commands used to create
+$\vdash$ symbol\index{_-@$\vdash$}.  The proof commands used to create
 the tree will also be shown between the $\vdash$ symbols.  This tree will
 be automatically updated after every proof command.