44 "\xc4", "\\\\<And>", |
44 "\xc4", "\\\\<And>", |
45 "\xc5", "\\\\<lceil>", |
45 "\xc5", "\\\\<lceil>", |
46 "\xc6", "\\\\<rceil>", |
46 "\xc6", "\\\\<rceil>", |
47 "\xc7", "\\\\<lfloor>", |
47 "\xc7", "\\\\<lfloor>", |
48 "\xc8", "\\\\<rfloor>", |
48 "\xc8", "\\\\<rfloor>", |
49 "\xc9", "\\\\<lparr>", |
49 "\xc9", "\\\\<turnstile>", |
50 "\xca", "\\\\<rparr>", |
50 "\xca", "\\\\<Turnstile>", |
51 "\xcb", "\\\\<lbrakk>", |
51 "\xcb", "\\\\<lbrakk>", |
52 "\xcc", "\\\\<rbrakk>", |
52 "\xcc", "\\\\<rbrakk>", |
53 "\xcd", "\\\\<empty>", |
53 "\xcd", "\\\\<cdot>", |
54 "\xce", "\\\\<in>", |
54 "\xce", "\\\\<in>", |
55 "\xcf", "\\\\<subseteq>", |
55 "\xcf", "\\\\<subseteq>", |
56 "\xd0", "\\\\<inter>", |
56 "\xd0", "\\\\<inter>", |
57 "\xd1", "\\\\<union>", |
57 "\xd1", "\\\\<union>", |
58 "\xd2", "\\\\<Inter>", |
58 "\xd2", "\\\\<Inter>", |
68 "\xdc", "\\\\<sqsubset>", |
68 "\xdc", "\\\\<sqsubset>", |
69 "\xdd", "\\\\<sqsubseteq>", |
69 "\xdd", "\\\\<sqsubseteq>", |
70 "\xde", "\\\\<prec>", |
70 "\xde", "\\\\<prec>", |
71 "\xdf", "\\\\<preceq>", |
71 "\xdf", "\\\\<preceq>", |
72 "\xe0", "\\\\<succ>", |
72 "\xe0", "\\\\<succ>", |
73 "\xe1", "\\\\<succeq>", |
73 "\xe1", "\\\\<approx>", |
74 "\xe2", "\\\\<sim>", |
74 "\xe2", "\\\\<sim>", |
75 "\xe3", "\\\\<simeq>", |
75 "\xe3", "\\\\<simeq>", |
76 "\xe4", "\\\\<le>", |
76 "\xe4", "\\\\<le>", |
77 "\xe5", "\\\\<ge>", |
77 "\xe5", "\\\\<Colon>", |
78 "\xe6", "\\\\<leftarrow>", |
78 "\xe6", "\\\\<leftarrow>", |
79 "\xe7", "\\\\<midarrow>", |
79 "\xe7", "\\\\<midarrow>", |
80 "\xe8", "\\\\<rightarrow>", |
80 "\xe8", "\\\\<rightarrow>", |
81 "\xe9", "\\\\<Leftarrow>", |
81 "\xe9", "\\\\<Leftarrow>", |
82 "\xea", "\\\\<Midarrow>", |
82 "\xea", "\\\\<Midarrow>", |
83 "\xeb", "\\\\<Rightarrow>", |
83 "\xeb", "\\\\<Rightarrow>", |
84 "\xec", "\\\\<rrightarrow>", |
84 "\xec", "\\\\<bow>", |
85 "\xed", "\\\\<mapsto>", |
85 "\xed", "\\\\<mapsto>", |
86 "\xee", "\\\\<leadsto>", |
86 "\xee", "\\\\<leadsto>", |
87 "\xef", "\\\\<up>", |
87 "\xef", "\\\\<up>", |
88 "\xf0", "\\\\<down>", |
88 "\xf0", "\\\\<down>", |
89 "\xf1", "\\\\<notin>", |
89 "\xf1", "\\\\<notin>", |
97 "\xf9", "\\\\<box>", |
97 "\xf9", "\\\\<box>", |
98 "\xfa", "\\\\<diamond>", |
98 "\xfa", "\\\\<diamond>", |
99 "\xfb", "\\\\<circ>", |
99 "\xfb", "\\\\<circ>", |
100 "\xfc", "\\\\<bullet>", |
100 "\xfc", "\\\\<bullet>", |
101 "\xfd", "\\\\<parallel>", |
101 "\xfd", "\\\\<parallel>", |
102 "\xfe", "\\\\<tick>", |
102 "\xfe", "\\\\<surd>", |
103 "\xff", "\\\\<copyright>"); |
103 "\xff", "\\\\<copyright>"); |
104 |
104 |
105 $SIG{INT} = "IGNORE"; |
105 $SIG{INT} = "IGNORE"; |
106 $| = 1; |
106 $| = 1; |
107 |
107 |