1.1 --- a/etc/symbols Sat Aug 23 23:44:31 2008 +0200
1.2 +++ b/etc/symbols Sun Aug 24 14:24:03 2008 +0200
1.3 @@ -11,110 +11,110 @@
1.4 \<seven> code: 0x01d7f3 font: Isabelle
1.5 \<eight> code: 0x01d7f4 font: Isabelle
1.6 \<nine> code: 0x01d7f5 font: Isabelle
1.7 -#\<A> code: 0x01d49c
1.8 -#\<B> code: 0x00212c
1.9 -#\<C> code: 0x01d49e
1.10 -#\<D> code: 0x01d49f
1.11 -#\<E> code: 0x002130
1.12 -#\<F> code: 0x002131
1.13 -#\<G> code: 0x01d4a2
1.14 -#\<H> code: 0x00210b
1.15 -#\<I> code: 0x002110
1.16 -#\<J> code: 0x01d4a5
1.17 -#\<K> code: 0x01d4a6
1.18 -#\<L> code: 0x002112
1.19 -#\<M> code: 0x002133
1.20 -#\<N> code: 0x01d4a9
1.21 -#\<O> code: 0x01d4aa
1.22 -#\<P> code: 0x01d4ab
1.23 -#\<Q> code: 0x01d4ac
1.24 -#\<R> code: 0x00211b
1.25 -#\<S> code: 0x01d4ae
1.26 -#\<T> code: 0x01d4af
1.27 -#\<U> code: 0x01d4b0
1.28 -#\<V> code: 0x01d4b1
1.29 -#\<W> code: 0x01d4b2
1.30 -#\<X> code: 0x01d4b3
1.31 -#\<Y> code: 0x01d4b4
1.32 -#\<Z> code: 0x01d4b5
1.33 -#\<a> code: 0x01d5ba
1.34 -#\<b> code: 0x01d5bb
1.35 -#\<c> code: 0x01d5bc
1.36 -#\<d> code: 0x01d5bd
1.37 -#\<e> code: 0x01d5be
1.38 -#\<f> code: 0x01d5bf
1.39 -#\<g> code: 0x01d5c0
1.40 -#\<h> code: 0x01d5c1
1.41 -#\<i> code: 0x01d5c2
1.42 -#\<j> code: 0x01d5c3
1.43 -#\<k> code: 0x01d5c4
1.44 -#\<l> code: 0x01d5c5
1.45 -#\<m> code: 0x01d5c6
1.46 -#\<n> code: 0x01d5c7
1.47 -#\<o> code: 0x01d5c8
1.48 -#\<p> code: 0x01d5c9
1.49 -#\<q> code: 0x01d5ca
1.50 -#\<r> code: 0x01d5cb
1.51 -#\<s> code: 0x01d5cc
1.52 -#\<t> code: 0x01d5cd
1.53 -#\<u> code: 0x01d5ce
1.54 -#\<v> code: 0x01d5cf
1.55 -#\<w> code: 0x01d5d0
1.56 -#\<x> code: 0x01d5d1
1.57 -#\<y> code: 0x01d5d2
1.58 -#\<z> code: 0x01d5d3
1.59 -#\<AA> code: 0x01d504
1.60 -#\<BB> code: 0x01d505
1.61 -#\<CC> code: 0x00212d
1.62 -#\<DD> code: 0x01d507
1.63 -#\<EE> code: 0x01d508
1.64 -#\<FF> code: 0x01d509
1.65 -#\<GG> code: 0x01d50a
1.66 -#\<HH> code: 0x00210c
1.67 -#\<II> code: 0x002111
1.68 -#\<JJ> code: 0x01d50d
1.69 -#\<KK> code: 0x01d50e
1.70 -#\<LL> code: 0x01d50f
1.71 -#\<MM> code: 0x01d510
1.72 -#\<NN> code: 0x01d511
1.73 -#\<OO> code: 0x01d512
1.74 -#\<PP> code: 0x01d513
1.75 -#\<QQ> code: 0x01d514
1.76 -#\<RR> code: 0x00211c
1.77 -#\<SS> code: 0x01d516
1.78 -#\<TT> code: 0x01d517
1.79 -#\<UU> code: 0x01d518
1.80 -#\<VV> code: 0x01d519
1.81 -#\<WW> code: 0x01d51a
1.82 -#\<XX> code: 0x01d51b
1.83 -#\<YY> code: 0x01d51c
1.84 -#\<ZZ> code: 0x002128
1.85 -#\<aa> code: 0x01d51e
1.86 -#\<bb> code: 0x01d51f
1.87 -#\<cc> code: 0x01d520
1.88 -#\<dd> code: 0x01d521
1.89 -#\<ee> code: 0x01d522
1.90 -#\<ff> code: 0x01d523
1.91 -#\<gg> code: 0x01d524
1.92 -#\<hh> code: 0x01d525
1.93 -#\<ii> code: 0x01d526
1.94 -#\<jj> code: 0x01d527
1.95 -#\<kk> code: 0x01d528
1.96 -#\<ll> code: 0x01d529
1.97 -#\<mm> code: 0x01d52a
1.98 -#\<nn> code: 0x01d52b
1.99 -#\<oo> code: 0x01d52c
1.100 -#\<pp> code: 0x01d52d
1.101 -#\<qq> code: 0x01d52e
1.102 -#\<rr> code: 0x01d52f
1.103 -#\<ss> code: 0x01d530
1.104 -#\<tt> code: 0x01d531
1.105 -#\<uu> code: 0x01d532
1.106 -#\<vv> code: 0x01d533
1.107 -#\<ww> code: 0x01d534
1.108 -#\<xx> code: 0x01d535
1.109 -#\<yy> code: 0x01d536
1.110 -#\<zz> code: 0x01d537
1.111 +\<A> code: 0x01d49c font: Isabelle
1.112 +\<B> code: 0x00212c font: Isabelle
1.113 +\<C> code: 0x01d49e font: Isabelle
1.114 +\<D> code: 0x01d49f font: Isabelle
1.115 +\<E> code: 0x002130 font: Isabelle
1.116 +\<F> code: 0x002131 font: Isabelle
1.117 +\<G> code: 0x01d4a2 font: Isabelle
1.118 +\<H> code: 0x00210b font: Isabelle
1.119 +\<I> code: 0x002110 font: Isabelle
1.120 +\<J> code: 0x01d4a5 font: Isabelle
1.121 +\<K> code: 0x01d4a6 font: Isabelle
1.122 +\<L> code: 0x002112 font: Isabelle
1.123 +\<M> code: 0x002133 font: Isabelle
1.124 +\<N> code: 0x01d4a9 font: Isabelle
1.125 +\<O> code: 0x01d4aa font: Isabelle
1.126 +\<P> code: 0x01d4ab font: Isabelle
1.127 +\<Q> code: 0x01d4ac font: Isabelle
1.128 +\<R> code: 0x00211b font: Isabelle
1.129 +\<S> code: 0x01d4ae font: Isabelle
1.130 +\<T> code: 0x01d4af font: Isabelle
1.131 +\<U> code: 0x01d4b0 font: Isabelle
1.132 +\<V> code: 0x01d4b1 font: Isabelle
1.133 +\<W> code: 0x01d4b2 font: Isabelle
1.134 +\<X> code: 0x01d4b3 font: Isabelle
1.135 +\<Y> code: 0x01d4b4 font: Isabelle
1.136 +\<Z> code: 0x01d4b5 font: Isabelle
1.137 +\<a> code: 0x01d5ba font: Isabelle
1.138 +\<b> code: 0x01d5bb font: Isabelle
1.139 +\<c> code: 0x01d5bc font: Isabelle
1.140 +\<d> code: 0x01d5bd font: Isabelle
1.141 +\<e> code: 0x01d5be font: Isabelle
1.142 +\<f> code: 0x01d5bf font: Isabelle
1.143 +\<g> code: 0x01d5c0 font: Isabelle
1.144 +\<h> code: 0x01d5c1 font: Isabelle
1.145 +\<i> code: 0x01d5c2 font: Isabelle
1.146 +\<j> code: 0x01d5c3 font: Isabelle
1.147 +\<k> code: 0x01d5c4 font: Isabelle
1.148 +\<l> code: 0x01d5c5 font: Isabelle
1.149 +\<m> code: 0x01d5c6 font: Isabelle
1.150 +\<n> code: 0x01d5c7 font: Isabelle
1.151 +\<o> code: 0x01d5c8 font: Isabelle
1.152 +\<p> code: 0x01d5c9 font: Isabelle
1.153 +\<q> code: 0x01d5ca font: Isabelle
1.154 +\<r> code: 0x01d5cb font: Isabelle
1.155 +\<s> code: 0x01d5cc font: Isabelle
1.156 +\<t> code: 0x01d5cd font: Isabelle
1.157 +\<u> code: 0x01d5ce font: Isabelle
1.158 +\<v> code: 0x01d5cf font: Isabelle
1.159 +\<w> code: 0x01d5d0 font: Isabelle
1.160 +\<x> code: 0x01d5d1 font: Isabelle
1.161 +\<y> code: 0x01d5d2 font: Isabelle
1.162 +\<z> code: 0x01d5d3 font: Isabelle
1.163 +\<AA> code: 0x01d504 font: Isabelle
1.164 +\<BB> code: 0x01d505 font: Isabelle
1.165 +\<CC> code: 0x00212d font: Isabelle
1.166 +\<DD> code: 0x01d507 font: Isabelle
1.167 +\<EE> code: 0x01d508 font: Isabelle
1.168 +\<FF> code: 0x01d509 font: Isabelle
1.169 +\<GG> code: 0x01d50a font: Isabelle
1.170 +\<HH> code: 0x00210c font: Isabelle
1.171 +#\<II> code: 0x01d50c font: Isabelle
1.172 +\<JJ> code: 0x01d50d font: Isabelle
1.173 +\<KK> code: 0x01d50e font: Isabelle
1.174 +\<LL> code: 0x01d50f font: Isabelle
1.175 +\<MM> code: 0x01d510 font: Isabelle
1.176 +\<NN> code: 0x01d511 font: Isabelle
1.177 +\<OO> code: 0x01d512 font: Isabelle
1.178 +\<PP> code: 0x01d513 font: Isabelle
1.179 +\<QQ> code: 0x01d514 font: Isabelle
1.180 +#\<RR> code: 0x01d515 font: Isabelle
1.181 +\<SS> code: 0x01d516 font: Isabelle
1.182 +\<TT> code: 0x01d517 font: Isabelle
1.183 +\<UU> code: 0x01d518 font: Isabelle
1.184 +\<VV> code: 0x01d519 font: Isabelle
1.185 +\<WW> code: 0x01d51a font: Isabelle
1.186 +\<XX> code: 0x01d51b font: Isabelle
1.187 +\<YY> code: 0x01d51c font: Isabelle
1.188 +\<ZZ> code: 0x002128 font: Isabelle
1.189 +\<aa> code: 0x01d51e font: Isabelle
1.190 +\<bb> code: 0x01d51f font: Isabelle
1.191 +\<cc> code: 0x01d520 font: Isabelle
1.192 +\<dd> code: 0x01d521 font: Isabelle
1.193 +\<ee> code: 0x01d522 font: Isabelle
1.194 +\<ff> code: 0x01d523 font: Isabelle
1.195 +\<gg> code: 0x01d524 font: Isabelle
1.196 +\<hh> code: 0x01d525 font: Isabelle
1.197 +\<ii> code: 0x01d526 font: Isabelle
1.198 +\<jj> code: 0x01d527 font: Isabelle
1.199 +\<kk> code: 0x01d528 font: Isabelle
1.200 +\<ll> code: 0x01d529 font: Isabelle
1.201 +\<mm> code: 0x01d52a font: Isabelle
1.202 +\<nn> code: 0x01d52b font: Isabelle
1.203 +\<oo> code: 0x01d52c font: Isabelle
1.204 +\<pp> code: 0x01d52d font: Isabelle
1.205 +\<qq> code: 0x01d52e font: Isabelle
1.206 +\<rr> code: 0x01d52f font: Isabelle
1.207 +\<ss> code: 0x01d530 font: Isabelle
1.208 +\<tt> code: 0x01d531 font: Isabelle
1.209 +\<uu> code: 0x01d532 font: Isabelle
1.210 +\<vv> code: 0x01d533 font: Isabelle
1.211 +\<ww> code: 0x01d534 font: Isabelle
1.212 +\<xx> code: 0x01d535 font: Isabelle
1.213 +\<yy> code: 0x01d536 font: Isabelle
1.214 +\<zz> code: 0x01d537 font: Isabelle
1.215 \<alpha> code: 0x0003b1 font: Isabelle
1.216 \<beta> code: 0x0003b2 font: Isabelle
1.217 \<gamma> code: 0x0003b3 font: Isabelle