1.1 --- a/lib/scripts/symbolinput.pl Sun Apr 13 19:12:37 1997 +0200
1.2 +++ b/lib/scripts/symbolinput.pl Sun Apr 13 19:15:07 1997 +0200
1.3 @@ -6,101 +6,101 @@
1.4
1.5 %tab = (
1.6 #GENERATED TEXT FOLLOWS - Do not edit!
1.7 - "\xa1", "\\\\<Gamma>",
1.8 - "\xa2", "\\\\<Delta>",
1.9 - "\xa3", "\\\\<Theta>",
1.10 - "\xa4", "\\\\<Lambda>",
1.11 - "\xa5", "\\\\<Pi>",
1.12 - "\xa6", "\\\\<Sigma>",
1.13 - "\xa7", "\\\\<Phi>",
1.14 - "\xa8", "\\\\<Psi>",
1.15 - "\xa9", "\\\\<Omega>",
1.16 - "\xaa", "\\\\<alpha>",
1.17 - "\xab", "\\\\<beta>",
1.18 - "\xac", "\\\\<gamma>",
1.19 - "\xad", "\\\\<delta>",
1.20 - "\xae", "\\\\<epsilon>",
1.21 - "\xaf", "\\\\<zeta>",
1.22 - "\xb0", "\\\\<eta>",
1.23 - "\xb1", "\\\\<theta>",
1.24 - "\xb2", "\\\\<kappa>",
1.25 - "\xb3", "\\\\<lambda>",
1.26 - "\xb4", "\\\\<mu>",
1.27 - "\xb5", "\\\\<nu>",
1.28 - "\xb6", "\\\\<xi>",
1.29 - "\xb7", "\\\\<pi>",
1.30 - "\xb8", "\\\\<rho>",
1.31 - "\xb9", "\\\\<sigma>",
1.32 - "\xba", "\\\\<tau>",
1.33 - "\xbb", "\\\\<phi>",
1.34 - "\xbc", "\\\\<chi>",
1.35 - "\xbd", "\\\\<psi>",
1.36 - "\xbe", "\\\\<omega>",
1.37 - "\xbf", "\\\\<not>",
1.38 - "\xc0", "\\\\<and>",
1.39 - "\xc1", "\\\\<or>",
1.40 - "\xc2", "\\\\<forall>",
1.41 - "\xc3", "\\\\<exists>",
1.42 - "\xc4", "\\\\<And>",
1.43 - "\xc5", "\\\\<lceil>",
1.44 - "\xc6", "\\\\<rceil>",
1.45 - "\xc7", "\\\\<lfloor>",
1.46 - "\xc8", "\\\\<rfloor>",
1.47 - "\xc9", "\\\\<turnstile>",
1.48 - "\xca", "\\\\<Turnstile>",
1.49 - "\xcb", "\\\\<lbrakk>",
1.50 - "\xcc", "\\\\<rbrakk>",
1.51 - "\xcd", "\\\\<cdot>",
1.52 - "\xce", "\\\\<in>",
1.53 - "\xcf", "\\\\<subseteq>",
1.54 - "\xd0", "\\\\<inter>",
1.55 - "\xd1", "\\\\<union>",
1.56 - "\xd2", "\\\\<Inter>",
1.57 - "\xd3", "\\\\<Union>",
1.58 - "\xd4", "\\\\<sqinter>",
1.59 - "\xd5", "\\\\<squnion>",
1.60 - "\xd6", "\\\\<Sqinter>",
1.61 - "\xd7", "\\\\<Squnion>",
1.62 - "\xd8", "\\\\<bottom>",
1.63 - "\xd9", "\\\\<doteq>",
1.64 - "\xda", "\\\\<equiv>",
1.65 - "\xdb", "\\\\<noteq>",
1.66 - "\xdc", "\\\\<sqsubset>",
1.67 - "\xdd", "\\\\<sqsubseteq>",
1.68 - "\xde", "\\\\<prec>",
1.69 - "\xdf", "\\\\<preceq>",
1.70 - "\xe0", "\\\\<succ>",
1.71 - "\xe1", "\\\\<approx>",
1.72 - "\xe2", "\\\\<sim>",
1.73 - "\xe3", "\\\\<simeq>",
1.74 - "\xe4", "\\\\<le>",
1.75 - "\xe5", "\\\\<Colon>",
1.76 - "\xe6", "\\\\<leftarrow>",
1.77 - "\xe7", "\\\\<midarrow>",
1.78 - "\xe8", "\\\\<rightarrow>",
1.79 - "\xe9", "\\\\<Leftarrow>",
1.80 - "\xea", "\\\\<Midarrow>",
1.81 - "\xeb", "\\\\<Rightarrow>",
1.82 - "\xec", "\\\\<bow>",
1.83 - "\xed", "\\\\<mapsto>",
1.84 - "\xee", "\\\\<leadsto>",
1.85 - "\xef", "\\\\<up>",
1.86 - "\xf0", "\\\\<down>",
1.87 - "\xf1", "\\\\<notin>",
1.88 - "\xf2", "\\\\<times>",
1.89 - "\xf3", "\\\\<oplus>",
1.90 - "\xf4", "\\\\<ominus>",
1.91 - "\xf5", "\\\\<otimes>",
1.92 - "\xf6", "\\\\<oslash>",
1.93 - "\xf7", "\\\\<subset>",
1.94 - "\xf8", "\\\\<infinity>",
1.95 - "\xf9", "\\\\<box>",
1.96 - "\xfa", "\\\\<diamond>",
1.97 - "\xfb", "\\\\<circ>",
1.98 - "\xfc", "\\\\<bullet>",
1.99 - "\xfd", "\\\\<parallel>",
1.100 - "\xfe", "\\\\<surd>",
1.101 - "\xff", "\\\\<copyright>"
1.102 + "\xa1", "\\<Gamma>",
1.103 + "\xa2", "\\<Delta>",
1.104 + "\xa3", "\\<Theta>",
1.105 + "\xa4", "\\<Lambda>",
1.106 + "\xa5", "\\<Pi>",
1.107 + "\xa6", "\\<Sigma>",
1.108 + "\xa7", "\\<Phi>",
1.109 + "\xa8", "\\<Psi>",
1.110 + "\xa9", "\\<Omega>",
1.111 + "\xaa", "\\<alpha>",
1.112 + "\xab", "\\<beta>",
1.113 + "\xac", "\\<gamma>",
1.114 + "\xad", "\\<delta>",
1.115 + "\xae", "\\<epsilon>",
1.116 + "\xaf", "\\<zeta>",
1.117 + "\xb0", "\\<eta>",
1.118 + "\xb1", "\\<theta>",
1.119 + "\xb2", "\\<kappa>",
1.120 + "\xb3", "\\<lambda>",
1.121 + "\xb4", "\\<mu>",
1.122 + "\xb5", "\\<nu>",
1.123 + "\xb6", "\\<xi>",
1.124 + "\xb7", "\\<pi>",
1.125 + "\xb8", "\\<rho>",
1.126 + "\xb9", "\\<sigma>",
1.127 + "\xba", "\\<tau>",
1.128 + "\xbb", "\\<phi>",
1.129 + "\xbc", "\\<chi>",
1.130 + "\xbd", "\\<psi>",
1.131 + "\xbe", "\\<omega>",
1.132 + "\xbf", "\\<not>",
1.133 + "\xc0", "\\<and>",
1.134 + "\xc1", "\\<or>",
1.135 + "\xc2", "\\<forall>",
1.136 + "\xc3", "\\<exists>",
1.137 + "\xc4", "\\<And>",
1.138 + "\xc5", "\\<lceil>",
1.139 + "\xc6", "\\<rceil>",
1.140 + "\xc7", "\\<lfloor>",
1.141 + "\xc8", "\\<rfloor>",
1.142 + "\xc9", "\\<turnstile>",
1.143 + "\xca", "\\<Turnstile>",
1.144 + "\xcb", "\\<lbrakk>",
1.145 + "\xcc", "\\<rbrakk>",
1.146 + "\xcd", "\\<cdot>",
1.147 + "\xce", "\\<in>",
1.148 + "\xcf", "\\<subseteq>",
1.149 + "\xd0", "\\<inter>",
1.150 + "\xd1", "\\<union>",
1.151 + "\xd2", "\\<Inter>",
1.152 + "\xd3", "\\<Union>",
1.153 + "\xd4", "\\<sqinter>",
1.154 + "\xd5", "\\<squnion>",
1.155 + "\xd6", "\\<Sqinter>",
1.156 + "\xd7", "\\<Squnion>",
1.157 + "\xd8", "\\<bottom>",
1.158 + "\xd9", "\\<doteq>",
1.159 + "\xda", "\\<equiv>",
1.160 + "\xdb", "\\<noteq>",
1.161 + "\xdc", "\\<sqsubset>",
1.162 + "\xdd", "\\<sqsubseteq>",
1.163 + "\xde", "\\<prec>",
1.164 + "\xdf", "\\<preceq>",
1.165 + "\xe0", "\\<succ>",
1.166 + "\xe1", "\\<approx>",
1.167 + "\xe2", "\\<sim>",
1.168 + "\xe3", "\\<simeq>",
1.169 + "\xe4", "\\<le>",
1.170 + "\xe5", "\\<Colon>",
1.171 + "\xe6", "\\<leftarrow>",
1.172 + "\xe7", "\\<midarrow>",
1.173 + "\xe8", "\\<rightarrow>",
1.174 + "\xe9", "\\<Leftarrow>",
1.175 + "\xea", "\\<Midarrow>",
1.176 + "\xeb", "\\<Rightarrow>",
1.177 + "\xec", "\\<bow>",
1.178 + "\xed", "\\<mapsto>",
1.179 + "\xee", "\\<leadsto>",
1.180 + "\xef", "\\<up>",
1.181 + "\xf0", "\\<down>",
1.182 + "\xf1", "\\<notin>",
1.183 + "\xf2", "\\<times>",
1.184 + "\xf3", "\\<oplus>",
1.185 + "\xf4", "\\<ominus>",
1.186 + "\xf5", "\\<otimes>",
1.187 + "\xf6", "\\<oslash>",
1.188 + "\xf7", "\\<subset>",
1.189 + "\xf8", "\\<infinity>",
1.190 + "\xf9", "\\<box>",
1.191 + "\xfa", "\\<diamond>",
1.192 + "\xfb", "\\<circ>",
1.193 + "\xfc", "\\<bullet>",
1.194 + "\xfd", "\\<parallel>",
1.195 + "\xfe", "\\<surd>",
1.196 + "\xff", "\\<copyright>"
1.197 #END OF GENERATED TEXT
1.198 );
1.199