--- a/doc-src/IsarRef/isar-ref.tex Fri Dec 15 19:04:22 2000 +0100
+++ b/doc-src/IsarRef/isar-ref.tex Sat Dec 16 21:40:49 2000 +0100
@@ -17,6 +17,7 @@
\newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
\newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
\newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
+\newcommand{\isasymequiv}{\isamath{\equiv}}
\railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
\railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}