--- a/doc-src/TutorialI/CTL/document/PDL.tex Thu Jan 19 21:22:29 2006 +0100
+++ b/doc-src/TutorialI/CTL/document/PDL.tex Thu Jan 19 21:22:30 2006 +0100
@@ -31,7 +31,7 @@
\end{isamarkuptext}%
\isamarkuptrue%
\isacommand{datatype}\isamarkupfalse%
-\ formula\ {\isacharequal}\ Atom\ atom\isanewline
+\ formula\ {\isacharequal}\ Atom\ {\isachardoublequoteopen}atom{\isachardoublequoteclose}\isanewline
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ Neg\ formula\isanewline
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ And\ formula\ formula\isanewline
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ AX\ formula\isanewline