diff -r c0424e4de33d -r 84408d6ff180 doc-src/isar.sty
--- a/doc-src/isar.sty	Mon Apr 28 14:22:42 2008 +0200
+++ b/doc-src/isar.sty	Mon Apr 28 14:41:32 2008 +0200
@@ -24,6 +24,10 @@
 \newcommand{\indexisarmethof}[2]{\indexdef{#1}{method}{#2}}
 \newcommand{\indexisarattof}[2]{\indexdef{#1}{attribute}{#2}}
 
+\newcommand{\isasymAND}{\isakeyword{and}}
+\newcommand{\isasymIS}{\isakeyword{is}}
+\newcommand{\isasymWHERE}{\isakeyword{where}}
+
 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}