1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue May 06 00:08:52 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue May 06 00:10:23 2008 +0200
     1.3 @@ -42,6 +42,12 @@
     1.4  \railalias{prop}{\railqtok{prop}}
     1.5  \railalias{atom}{\railqtok{atom}}
     1.6  
     1.7 +\railalias{subseteq}{\isasymsubseteq}\railterm{subseteq}
     1.8 +\railalias{equiv}{\isasymequiv}\railterm{equiv}
     1.9 +\railalias{rightleftharpoons}{\isasymrightleftharpoons}\railterm{rightleftharpoons}
    1.10 +\railalias{rightharpoonup}{\isasymrightharpoonup}\railterm{rightharpoonup}
    1.11 +\railalias{leftharpoondown}{\isasymleftharpoondown}\railterm{leftharpoondown}
    1.12 +
    1.13  \chardef\charbackquote=`\`
    1.14  \newcommand{\backquote}{\mbox{\tt\charbackquote}}
    1.15