# HG changeset patch
# User wenzelm
# Date 1210025423 -7200
# Node ID e4e5d911e01cc10210b17d18c78f9e89e401ae73
# Parent  e77f9b8c75146de3da91f84d21feacc57b3d523a
moved some railaliases here -- for proper scoping;

diff -r e77f9b8c7514 -r e4e5d911e01c doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Tue May 06 00:08:52 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Tue May 06 00:10:23 2008 +0200
@@ -42,6 +42,12 @@
 \railalias{prop}{\railqtok{prop}}
 \railalias{atom}{\railqtok{atom}}
 
+\railalias{subseteq}{\isasymsubseteq}\railterm{subseteq}
+\railalias{equiv}{\isasymequiv}\railterm{equiv}
+\railalias{rightleftharpoons}{\isasymrightleftharpoons}\railterm{rightleftharpoons}
+\railalias{rightharpoonup}{\isasymrightharpoonup}\railterm{rightharpoonup}
+\railalias{leftharpoondown}{\isasymleftharpoondown}\railterm{leftharpoondown}
+
 \chardef\charbackquote=`\`
 \newcommand{\backquote}{\mbox{\tt\charbackquote}}