--- a/doc-src/IsarRef/isar-ref.tex Thu Oct 12 17:48:47 2000 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Thu Oct 12 17:52:44 2000 +0200
@@ -11,8 +11,9 @@
\newcommand{\isastyle}{\small\tt\slshape}
\newcommand{\isa}[1]{\emph{\isastyle #1}}
-\newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
-\newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
+\newcommand{\isamath}[1]{\emph{$#1$}}
+\newcommand{\isasymColon}{\isamath{\mathrel{::}}}
+\newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
\railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
\railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}