# HG changeset patch
# User wenzelm
# Date 860951707 -7200
# Node ID b4f3840a42f85450b75069cf0e92a818a1762475
# Parent  283e31f6a4be087fe1f24d6e74bc9d8c096d05bd
GENERATED TEXT;

diff -r 283e31f6a4be -r b4f3840a42f8 lib/scripts/symbolinput.pl
--- a/lib/scripts/symbolinput.pl	Sun Apr 13 19:12:37 1997 +0200
+++ b/lib/scripts/symbolinput.pl	Sun Apr 13 19:15:07 1997 +0200
@@ -6,101 +6,101 @@
 
 %tab = (
 #GENERATED TEXT FOLLOWS - Do not edit!
-  "\xa1", "\\\\<Gamma>",
-  "\xa2", "\\\\<Delta>",
-  "\xa3", "\\\\<Theta>",
-  "\xa4", "\\\\<Lambda>",
-  "\xa5", "\\\\<Pi>",
-  "\xa6", "\\\\<Sigma>",
-  "\xa7", "\\\\<Phi>",
-  "\xa8", "\\\\<Psi>",
-  "\xa9", "\\\\<Omega>",
-  "\xaa", "\\\\<alpha>",
-  "\xab", "\\\\<beta>",
-  "\xac", "\\\\<gamma>",
-  "\xad", "\\\\<delta>",
-  "\xae", "\\\\<epsilon>",
-  "\xaf", "\\\\<zeta>",
-  "\xb0", "\\\\<eta>",
-  "\xb1", "\\\\<theta>",
-  "\xb2", "\\\\<kappa>",
-  "\xb3", "\\\\<lambda>",
-  "\xb4", "\\\\<mu>",
-  "\xb5", "\\\\<nu>",
-  "\xb6", "\\\\<xi>",
-  "\xb7", "\\\\<pi>",
-  "\xb8", "\\\\<rho>",
-  "\xb9", "\\\\<sigma>",
-  "\xba", "\\\\<tau>",
-  "\xbb", "\\\\<phi>",
-  "\xbc", "\\\\<chi>",
-  "\xbd", "\\\\<psi>",
-  "\xbe", "\\\\<omega>",
-  "\xbf", "\\\\<not>",
-  "\xc0", "\\\\<and>",
-  "\xc1", "\\\\<or>",
-  "\xc2", "\\\\<forall>",
-  "\xc3", "\\\\<exists>",
-  "\xc4", "\\\\<And>",
-  "\xc5", "\\\\<lceil>",
-  "\xc6", "\\\\<rceil>",
-  "\xc7", "\\\\<lfloor>",
-  "\xc8", "\\\\<rfloor>",
-  "\xc9", "\\\\<turnstile>",
-  "\xca", "\\\\<Turnstile>",
-  "\xcb", "\\\\<lbrakk>",
-  "\xcc", "\\\\<rbrakk>",
-  "\xcd", "\\\\<cdot>",
-  "\xce", "\\\\<in>",
-  "\xcf", "\\\\<subseteq>",
-  "\xd0", "\\\\<inter>",
-  "\xd1", "\\\\<union>",
-  "\xd2", "\\\\<Inter>",
-  "\xd3", "\\\\<Union>",
-  "\xd4", "\\\\<sqinter>",
-  "\xd5", "\\\\<squnion>",
-  "\xd6", "\\\\<Sqinter>",
-  "\xd7", "\\\\<Squnion>",
-  "\xd8", "\\\\<bottom>",
-  "\xd9", "\\\\<doteq>",
-  "\xda", "\\\\<equiv>",
-  "\xdb", "\\\\<noteq>",
-  "\xdc", "\\\\<sqsubset>",
-  "\xdd", "\\\\<sqsubseteq>",
-  "\xde", "\\\\<prec>",
-  "\xdf", "\\\\<preceq>",
-  "\xe0", "\\\\<succ>",
-  "\xe1", "\\\\<approx>",
-  "\xe2", "\\\\<sim>",
-  "\xe3", "\\\\<simeq>",
-  "\xe4", "\\\\<le>",
-  "\xe5", "\\\\<Colon>",
-  "\xe6", "\\\\<leftarrow>",
-  "\xe7", "\\\\<midarrow>",
-  "\xe8", "\\\\<rightarrow>",
-  "\xe9", "\\\\<Leftarrow>",
-  "\xea", "\\\\<Midarrow>",
-  "\xeb", "\\\\<Rightarrow>",
-  "\xec", "\\\\<bow>",
-  "\xed", "\\\\<mapsto>",
-  "\xee", "\\\\<leadsto>",
-  "\xef", "\\\\<up>",
-  "\xf0", "\\\\<down>",
-  "\xf1", "\\\\<notin>",
-  "\xf2", "\\\\<times>",
-  "\xf3", "\\\\<oplus>",
-  "\xf4", "\\\\<ominus>",
-  "\xf5", "\\\\<otimes>",
-  "\xf6", "\\\\<oslash>",
-  "\xf7", "\\\\<subset>",
-  "\xf8", "\\\\<infinity>",
-  "\xf9", "\\\\<box>",
-  "\xfa", "\\\\<diamond>",
-  "\xfb", "\\\\<circ>",
-  "\xfc", "\\\\<bullet>",
-  "\xfd", "\\\\<parallel>",
-  "\xfe", "\\\\<surd>",
-  "\xff", "\\\\<copyright>"
+  "\xa1", "\\<Gamma>",
+  "\xa2", "\\<Delta>",
+  "\xa3", "\\<Theta>",
+  "\xa4", "\\<Lambda>",
+  "\xa5", "\\<Pi>",
+  "\xa6", "\\<Sigma>",
+  "\xa7", "\\<Phi>",
+  "\xa8", "\\<Psi>",
+  "\xa9", "\\<Omega>",
+  "\xaa", "\\<alpha>",
+  "\xab", "\\<beta>",
+  "\xac", "\\<gamma>",
+  "\xad", "\\<delta>",
+  "\xae", "\\<epsilon>",
+  "\xaf", "\\<zeta>",
+  "\xb0", "\\<eta>",
+  "\xb1", "\\<theta>",
+  "\xb2", "\\<kappa>",
+  "\xb3", "\\<lambda>",
+  "\xb4", "\\<mu>",
+  "\xb5", "\\<nu>",
+  "\xb6", "\\<xi>",
+  "\xb7", "\\<pi>",
+  "\xb8", "\\<rho>",
+  "\xb9", "\\<sigma>",
+  "\xba", "\\<tau>",
+  "\xbb", "\\<phi>",
+  "\xbc", "\\<chi>",
+  "\xbd", "\\<psi>",
+  "\xbe", "\\<omega>",
+  "\xbf", "\\<not>",
+  "\xc0", "\\<and>",
+  "\xc1", "\\<or>",
+  "\xc2", "\\<forall>",
+  "\xc3", "\\<exists>",
+  "\xc4", "\\<And>",
+  "\xc5", "\\<lceil>",
+  "\xc6", "\\<rceil>",
+  "\xc7", "\\<lfloor>",
+  "\xc8", "\\<rfloor>",
+  "\xc9", "\\<turnstile>",
+  "\xca", "\\<Turnstile>",
+  "\xcb", "\\<lbrakk>",
+  "\xcc", "\\<rbrakk>",
+  "\xcd", "\\<cdot>",
+  "\xce", "\\<in>",
+  "\xcf", "\\<subseteq>",
+  "\xd0", "\\<inter>",
+  "\xd1", "\\<union>",
+  "\xd2", "\\<Inter>",
+  "\xd3", "\\<Union>",
+  "\xd4", "\\<sqinter>",
+  "\xd5", "\\<squnion>",
+  "\xd6", "\\<Sqinter>",
+  "\xd7", "\\<Squnion>",
+  "\xd8", "\\<bottom>",
+  "\xd9", "\\<doteq>",
+  "\xda", "\\<equiv>",
+  "\xdb", "\\<noteq>",
+  "\xdc", "\\<sqsubset>",
+  "\xdd", "\\<sqsubseteq>",
+  "\xde", "\\<prec>",
+  "\xdf", "\\<preceq>",
+  "\xe0", "\\<succ>",
+  "\xe1", "\\<approx>",
+  "\xe2", "\\<sim>",
+  "\xe3", "\\<simeq>",
+  "\xe4", "\\<le>",
+  "\xe5", "\\<Colon>",
+  "\xe6", "\\<leftarrow>",
+  "\xe7", "\\<midarrow>",
+  "\xe8", "\\<rightarrow>",
+  "\xe9", "\\<Leftarrow>",
+  "\xea", "\\<Midarrow>",
+  "\xeb", "\\<Rightarrow>",
+  "\xec", "\\<bow>",
+  "\xed", "\\<mapsto>",
+  "\xee", "\\<leadsto>",
+  "\xef", "\\<up>",
+  "\xf0", "\\<down>",
+  "\xf1", "\\<notin>",
+  "\xf2", "\\<times>",
+  "\xf3", "\\<oplus>",
+  "\xf4", "\\<ominus>",
+  "\xf5", "\\<otimes>",
+  "\xf6", "\\<oslash>",
+  "\xf7", "\\<subset>",
+  "\xf8", "\\<infinity>",
+  "\xf9", "\\<box>",
+  "\xfa", "\\<diamond>",
+  "\xfb", "\\<circ>",
+  "\xfc", "\\<bullet>",
+  "\xfd", "\\<parallel>",
+  "\xfe", "\\<surd>",
+  "\xff", "\\<copyright>"
 #END OF GENERATED TEXT
 );