--- a/doc-src/TutorialI/appendix.tex Mon Mar 12 18:23:11 2001 +0100
+++ b/doc-src/TutorialI/appendix.tex Tue Mar 13 18:35:48 2001 +0100
@@ -22,6 +22,15 @@
\indexboldpos{\isasymequiv}{$IsaEq} &
\ttindexboldpos{==}{$IsaEq} &
\verb$\<equiv>$ \\
+\indexboldpos{\isasymrightleftharpoons}{$IsaEqTrans} &
+\ttindexboldpos{==}{$IsaEq} &
+\verb$\<rightleftharpoons>$ \\
+\indexboldpos{\isasymrightharpoonup}{$IsaEqTrans1} &
+\ttindexboldpos{=>}{$IsaFun} &
+\verb$\<rightharpoonup>$ \\
+\indexboldpos{\isasymleftharpoondown}{$IsaEqTrans2} &
+\ttindexboldpos{<=}{$IsaFun2} &
+\verb$\<leftharpoondown>$ \\
\indexboldpos{\isasymlambda}{$Isalam} &
\texttt{\%}\indexbold{$Isalam@\texttt{\%}} &
\verb$\<lambda>$ \\