activated \<A>, \<a>, \<AA>, \<aa>;
authorwenzelm
Sun Aug 24 14:24:03 2008 +0200 (2008-08-24)
changeset 279805b2c58ab152f
parent 27979 58415a0de327
child 27981 feb0c01cf0fb
activated \<A>, \<a>, \<AA>, \<aa>;
disabled \<RR>, \<II> which overlap with codepoints for \<Re>, \<Im>, remapped to unofficial place within Isabelle font;
etc/symbols
     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