--- 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";