--- a/lib/scripts/symbolinput.pl Tue Apr 29 16:38:16 1997 +0200
+++ b/lib/scripts/symbolinput.pl Tue Apr 29 16:39:13 1997 +0200
@@ -6,6 +6,22 @@
%tab = (
#GENERATED TEXT FOLLOWS - Do not edit!
+ "\x91", "\\<lless>",
+ "\x92", "\\<unlhd>",
+ "\x93", "\\<lhd>",
+ "\x94", "\\<rhd>",
+ "\x95", "\\<tturnstile>",
+ "\x96", "\\<langle>",
+ "\x97", "\\<rangle>",
+ "\x98", "\\<choice>",
+ "\x99", "\\<top>",
+ "\x9a", "\\<Or>",
+ "\x9b", "\\<ocdot>",
+ "\x9c", "\\<iota>",
+ "\x9d", "\\<upsilon>",
+ "\x9e", "\\<Upsilon>",
+ "\x9f", "\\<Xi>",
+ "\xa0", "\\<space2>",
"\xa1", "\\<Gamma>",
"\xa2", "\\<Delta>",
"\xa3", "\\<Theta>",
@@ -42,10 +58,10 @@
"\xc2", "\\<forall>",
"\xc3", "\\<exists>",
"\xc4", "\\<And>",
- "\xc5", "\\<undef197>",
- "\xc6", "\\<undef198>",
- "\xc7", "\\<undef199>",
- "\xc8", "\\<undef200>",
+ "\xc5", "\\<lceil>",
+ "\xc6", "\\<rceil>",
+ "\xc7", "\\<lfloor>",
+ "\xc8", "\\<rfloor>",
"\xc9", "\\<turnstile>",
"\xca", "\\<Turnstile>",
"\xcb", "\\<lbrakk>",