--- a/doc-src/TutorialI/Protocol/document/Message.tex Sat Nov 10 14:31:18 2007 +0100
+++ b/doc-src/TutorialI/Protocol/document/Message.tex Sat Nov 10 14:31:20 2007 +0100
@@ -50,7 +50,7 @@
\isacommand{types}\isamarkupfalse%
\ key\ {\isacharequal}\ nat\isanewline
\isacommand{consts}\isamarkupfalse%
-\ invKey\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequoteopen}key{\isacharequal}{\isachargreater}key{\isachardoublequoteclose}%
+\ invKey\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequoteopen}key\ {\isasymRightarrow}\ key{\isachardoublequoteclose}%
\isadelimproof
%
\endisadelimproof