diff -r 5200374fda5d -r 8b1aa4357320 doc-src/TutorialI/Protocol/document/Message.tex
--- 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