self-built symbol for part of bind operator

--- a/src/HOL/Extraction/document/root.tex	Wed Jul 14 09:42:44 2010 +0200
+++ b/src/HOL/Extraction/document/root.tex	Wed Jul 14 12:27:43 2010 +0200
@@ -5,6 +5,8 @@
 \urlstyle{rm}
 \isabellestyle{it}
 
+\renewcommand{\isasymguillemotright}{\isamath{\mathbin{>\!\!\!>}}}
+
 \begin{document}
 
 \title{Examples for program extraction in Higher-Order Logic}