1.1 --- a/doc-src/TutorialI/appendix.tex	Mon Mar 12 18:23:11 2001 +0100
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Tue Mar 13 18:35:48 2001 +0100
     1.3 @@ -22,6 +22,15 @@
     1.4  \indexboldpos{\isasymequiv}{$IsaEq} &
     1.5  \ttindexboldpos{==}{$IsaEq} &
     1.6  \verb$\<equiv>$ \\
     1.7 +\indexboldpos{\isasymrightleftharpoons}{$IsaEqTrans} &
     1.8 +\ttindexboldpos{==}{$IsaEq} &
     1.9 +\verb$\<rightleftharpoons>$ \\
    1.10 +\indexboldpos{\isasymrightharpoonup}{$IsaEqTrans1} &
    1.11 +\ttindexboldpos{=>}{$IsaFun} &
    1.12 +\verb$\<rightharpoonup>$ \\
    1.13 +\indexboldpos{\isasymleftharpoondown}{$IsaEqTrans2} &
    1.14 +\ttindexboldpos{<=}{$IsaFun2} &
    1.15 +\verb$\<leftharpoondown>$ \\
    1.16  \indexboldpos{\isasymlambda}{$Isalam} &
    1.17  \texttt{\%}\indexbold{$Isalam@\texttt{\%}} &
    1.18  \verb$\<lambda>$ \\