lib/scripts/symbolinput.pl
changeset 2769 77903c147673
parent 2676 585cd2311a98
child 2943 04a66be5e790
--- a/lib/scripts/symbolinput.pl	Fri Mar 07 15:30:23 1997 +0100
+++ b/lib/scripts/symbolinput.pl	Fri Mar 07 15:32:16 1997 +0100
@@ -46,11 +46,11 @@
   "\xc6", "\\\\<rceil>",
   "\xc7", "\\\\<lfloor>",
   "\xc8", "\\\\<rfloor>",
-  "\xc9", "\\\\<lparr>",
-  "\xca", "\\\\<rparr>",
+  "\xc9", "\\\\<turnstile>",
+  "\xca", "\\\\<Turnstile>",
   "\xcb", "\\\\<lbrakk>",
   "\xcc", "\\\\<rbrakk>",
-  "\xcd", "\\\\<empty>",
+  "\xcd", "\\\\<cdot>",
   "\xce", "\\\\<in>",
   "\xcf", "\\\\<subseteq>",
   "\xd0", "\\\\<inter>",
@@ -70,18 +70,18 @@
   "\xde", "\\\\<prec>",
   "\xdf", "\\\\<preceq>",
   "\xe0", "\\\\<succ>",
-  "\xe1", "\\\\<succeq>",
+  "\xe1", "\\\\<approx>",
   "\xe2", "\\\\<sim>",
   "\xe3", "\\\\<simeq>",
   "\xe4", "\\\\<le>",
-  "\xe5", "\\\\<ge>",
+  "\xe5", "\\\\<Colon>",
   "\xe6", "\\\\<leftarrow>",
   "\xe7", "\\\\<midarrow>",
   "\xe8", "\\\\<rightarrow>",
   "\xe9", "\\\\<Leftarrow>",
   "\xea", "\\\\<Midarrow>",
   "\xeb", "\\\\<Rightarrow>",
-  "\xec", "\\\\<rrightarrow>",
+  "\xec", "\\\\<bow>",
   "\xed", "\\\\<mapsto>",
   "\xee", "\\\\<leadsto>",
   "\xef", "\\\\<up>",
@@ -99,7 +99,7 @@
   "\xfb", "\\\\<circ>",
   "\xfc", "\\\\<bullet>",
   "\xfd", "\\\\<parallel>",
-  "\xfe", "\\\\<tick>",
+  "\xfe", "\\\\<surd>",
   "\xff", "\\\\<copyright>");
 
 $SIG{INT} = "IGNORE";