Default interpretation of some Isabelle symbols.
authorwenzelm
Fri Aug 15 17:19:32 2008 +0200 (2008-08-15)
changeset 27898e0953043ce90
parent 27897 0e7ff439460f
child 27899 a152c8a38b7d
Default interpretation of some Isabelle symbols.
etc/symbols
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/etc/symbols	Fri Aug 15 17:19:32 2008 +0200
     1.3 @@ -0,0 +1,357 @@
     1.4 +# $Id$
     1.5 +# Default interpretation of some Isabelle symbols
     1.6 +
     1.7 +symbol: \<zero>                 code: 0x01d7ec
     1.8 +symbol: \<one>                  code: 0x01d7ed
     1.9 +symbol: \<two>                  code: 0x01d7ee
    1.10 +symbol: \<three>                code: 0x01d7ef
    1.11 +symbol: \<four>                 code: 0x01d7f0
    1.12 +symbol: \<five>                 code: 0x01d7f1
    1.13 +symbol: \<six>                  code: 0x01d7f2
    1.14 +symbol: \<seven>                code: 0x01d7f3
    1.15 +symbol: \<eight>                code: 0x01d7f4
    1.16 +symbol: \<nine>                 code: 0x01d7f5
    1.17 +symbol: \<A>                    code: 0x01d49c
    1.18 +symbol: \<B>                    code: 0x00212c
    1.19 +symbol: \<C>                    code: 0x01d49e
    1.20 +symbol: \<D>                    code: 0x01d49f
    1.21 +symbol: \<E>                    code: 0x002130
    1.22 +symbol: \<F>                    code: 0x002131
    1.23 +symbol: \<G>                    code: 0x01d4a2
    1.24 +symbol: \<H>                    code: 0x00210b
    1.25 +symbol: \<I>                    code: 0x002110
    1.26 +symbol: \<J>                    code: 0x01d4a5
    1.27 +symbol: \<K>                    code: 0x01d4a6
    1.28 +symbol: \<L>                    code: 0x002112
    1.29 +symbol: \<M>                    code: 0x002133
    1.30 +symbol: \<N>                    code: 0x01d4a9
    1.31 +symbol: \<O>                    code: 0x01d4aa
    1.32 +symbol: \<P>                    code: 0x01d4ab
    1.33 +symbol: \<Q>                    code: 0x01d4ac
    1.34 +symbol: \<R>                    code: 0x00211b
    1.35 +symbol: \<S>                    code: 0x01d4ae
    1.36 +symbol: \<T>                    code: 0x01d4af
    1.37 +symbol: \<U>                    code: 0x01d4b0
    1.38 +symbol: \<V>                    code: 0x01d4b1
    1.39 +symbol: \<W>                    code: 0x01d4b2
    1.40 +symbol: \<X>                    code: 0x01d4b3
    1.41 +symbol: \<Y>                    code: 0x01d4b4
    1.42 +symbol: \<Z>                    code: 0x01d4b5
    1.43 +symbol: \<a>                    code: 0x01d5ba
    1.44 +symbol: \<b>                    code: 0x01d5bb
    1.45 +symbol: \<c>                    code: 0x01d5bc
    1.46 +symbol: \<d>                    code: 0x01d5bd
    1.47 +symbol: \<e>                    code: 0x01d5be
    1.48 +symbol: \<f>                    code: 0x01d5bf
    1.49 +symbol: \<g>                    code: 0x01d5c0
    1.50 +symbol: \<h>                    code: 0x01d5c1
    1.51 +symbol: \<i>                    code: 0x01d5c2
    1.52 +symbol: \<j>                    code: 0x01d5c3
    1.53 +symbol: \<k>                    code: 0x01d5c4
    1.54 +symbol: \<l>                    code: 0x01d5c5
    1.55 +symbol: \<m>                    code: 0x01d5c6
    1.56 +symbol: \<n>                    code: 0x01d5c7
    1.57 +symbol: \<o>                    code: 0x01d5c8
    1.58 +symbol: \<p>                    code: 0x01d5c9
    1.59 +symbol: \<q>                    code: 0x01d5ca
    1.60 +symbol: \<r>                    code: 0x01d5cb
    1.61 +symbol: \<s>                    code: 0x01d5cc
    1.62 +symbol: \<t>                    code: 0x01d5cd
    1.63 +symbol: \<u>                    code: 0x01d5ce
    1.64 +symbol: \<v>                    code: 0x01d5cf
    1.65 +symbol: \<w>                    code: 0x01d5d0
    1.66 +symbol: \<x>                    code: 0x01d5d1
    1.67 +symbol: \<y>                    code: 0x01d5d2
    1.68 +symbol: \<z>                    code: 0x01d5d3
    1.69 +symbol: \<AA>                   code: 0x01d504
    1.70 +symbol: \<BB>                   code: 0x01d505
    1.71 +symbol: \<CC>                   code: 0x00212d
    1.72 +symbol: \<DD>                   code: 0x01d507
    1.73 +symbol: \<EE>                   code: 0x01d508
    1.74 +symbol: \<FF>                   code: 0x01d509
    1.75 +symbol: \<GG>                   code: 0x01d50a
    1.76 +symbol: \<HH>                   code: 0x00210c
    1.77 +symbol: \<II>                   code: 0x002111
    1.78 +symbol: \<JJ>                   code: 0x01d50d
    1.79 +symbol: \<KK>                   code: 0x01d50e
    1.80 +symbol: \<LL>                   code: 0x01d50f
    1.81 +symbol: \<MM>                   code: 0x01d510
    1.82 +symbol: \<NN>                   code: 0x01d511
    1.83 +symbol: \<OO>                   code: 0x01d512
    1.84 +symbol: \<PP>                   code: 0x01d513
    1.85 +symbol: \<QQ>                   code: 0x01d514
    1.86 +symbol: \<RR>                   code: 0x00211c
    1.87 +symbol: \<SS>                   code: 0x01d516
    1.88 +symbol: \<TT>                   code: 0x01d517
    1.89 +symbol: \<UU>                   code: 0x01d518
    1.90 +symbol: \<VV>                   code: 0x01d519
    1.91 +symbol: \<WW>                   code: 0x01d51a
    1.92 +symbol: \<XX>                   code: 0x01d51b
    1.93 +symbol: \<YY>                   code: 0x01d51c
    1.94 +symbol: \<ZZ>                   code: 0x002128
    1.95 +symbol: \<aa>                   code: 0x01d51e
    1.96 +symbol: \<bb>                   code: 0x01d51f
    1.97 +symbol: \<cc>                   code: 0x01d520
    1.98 +symbol: \<dd>                   code: 0x01d521
    1.99 +symbol: \<ee>                   code: 0x01d522
   1.100 +symbol: \<ff>                   code: 0x01d523
   1.101 +symbol: \<gg>                   code: 0x01d524
   1.102 +symbol: \<hh>                   code: 0x01d525
   1.103 +symbol: \<ii>                   code: 0x01d526
   1.104 +symbol: \<jj>                   code: 0x01d527
   1.105 +symbol: \<kk>                   code: 0x01d528
   1.106 +symbol: \<ll>                   code: 0x01d529
   1.107 +symbol: \<mm>                   code: 0x01d52a
   1.108 +symbol: \<nn>                   code: 0x01d52b
   1.109 +symbol: \<oo>                   code: 0x01d52c
   1.110 +symbol: \<pp>                   code: 0x01d52d
   1.111 +symbol: \<qq>                   code: 0x01d52e
   1.112 +symbol: \<rr>                   code: 0x01d52f
   1.113 +symbol: \<ss>                   code: 0x01d530
   1.114 +symbol: \<tt>                   code: 0x01d531
   1.115 +symbol: \<uu>                   code: 0x01d532
   1.116 +symbol: \<vv>                   code: 0x01d533
   1.117 +symbol: \<ww>                   code: 0x01d534
   1.118 +symbol: \<xx>                   code: 0x01d535
   1.119 +symbol: \<yy>                   code: 0x01d536
   1.120 +symbol: \<zz>                   code: 0x01d537
   1.121 +symbol: \<alpha>                code: 0x0003b1
   1.122 +symbol: \<beta>                 code: 0x0003b2
   1.123 +symbol: \<gamma>                code: 0x0003b3
   1.124 +symbol: \<delta>                code: 0x0003b4
   1.125 +symbol: \<epsilon>              code: 0x0003b5
   1.126 +symbol: \<zeta>                 code: 0x0003b6
   1.127 +symbol: \<eta>                  code: 0x0003b7
   1.128 +symbol: \<theta>                code: 0x0003b8
   1.129 +symbol: \<iota>                 code: 0x0003b9
   1.130 +symbol: \<kappa>                code: 0x0003ba
   1.131 +symbol: \<lambda>               code: 0x0003bb
   1.132 +symbol: \<mu>                   code: 0x0003bc
   1.133 +symbol: \<nu>                   code: 0x0003bd
   1.134 +symbol: \<xi>                   code: 0x0003be
   1.135 +symbol: \<pi>                   code: 0x0003c0
   1.136 +symbol: \<rho>                  code: 0x0003c1
   1.137 +symbol: \<sigma>                code: 0x0003c3
   1.138 +symbol: \<tau>                  code: 0x0003c4
   1.139 +symbol: \<upsilon>              code: 0x0003c5
   1.140 +symbol: \<phi>                  code: 0x0003c6
   1.141 +symbol: \<chi>                  code: 0x0003c7
   1.142 +symbol: \<psi>                  code: 0x0003c8
   1.143 +symbol: \<omega>                code: 0x0003c9
   1.144 +symbol: \<Gamma>                code: 0x000393
   1.145 +symbol: \<Delta>                code: 0x000394
   1.146 +symbol: \<Theta>                code: 0x000398
   1.147 +symbol: \<Lambda>               code: 0x00039b
   1.148 +symbol: \<Xi>                   code: 0x00039e
   1.149 +symbol: \<Pi>                   code: 0x0003a0
   1.150 +symbol: \<Sigma>                code: 0x0003a3
   1.151 +symbol: \<Upsilon>              code: 0x0003a5
   1.152 +symbol: \<Phi>                  code: 0x0003a6
   1.153 +symbol: \<Psi>                  code: 0x0003a8
   1.154 +symbol: \<Omega>                code: 0x0003a9
   1.155 +symbol: \<bool>                 code: 0x01d539
   1.156 +symbol: \<complex>              code: 0x002102
   1.157 +symbol: \<nat>                  code: 0x002115
   1.158 +symbol: \<rat>                  code: 0x00211a
   1.159 +symbol: \<real>                 code: 0x00211d
   1.160 +symbol: \<int>                  code: 0x002124
   1.161 +symbol: \<leftarrow>            code: 0x002190
   1.162 +symbol: \<longleftarrow>        code: 0x0027f5
   1.163 +symbol: \<rightarrow>           code: 0x002192
   1.164 +symbol: \<longrightarrow>       code: 0x0027f6
   1.165 +symbol: \<Leftarrow>            code: 0x0021d0
   1.166 +symbol: \<Longleftarrow>        code: 0x0027f8
   1.167 +symbol: \<Rightarrow>           code: 0x0021d2
   1.168 +symbol: \<Longrightarrow>       code: 0x0027f9
   1.169 +symbol: \<leftrightarrow>       code: 0x002194
   1.170 +symbol: \<longleftrightarrow>   code: 0x0027f7
   1.171 +symbol: \<Leftrightarrow>       code: 0x0021d4
   1.172 +symbol: \<Longleftrightarrow>   code: 0x0027fa
   1.173 +symbol: \<mapsto>               code: 0x0021a6
   1.174 +symbol: \<longmapsto>           code: 0x0027fc
   1.175 +symbol: \<midarrow>             code: 0x002500
   1.176 +symbol: \<Midarrow>             code: 0x002550
   1.177 +symbol: \<hookleftarrow>        code: 0x0021a9
   1.178 +symbol: \<hookrightarrow>       code: 0x0021aa
   1.179 +symbol: \<leftharpoondown>      code: 0x0021bd
   1.180 +symbol: \<rightharpoondown>     code: 0x0021c1
   1.181 +symbol: \<leftharpoonup>        code: 0x0021bc
   1.182 +symbol: \<rightharpoonup>       code: 0x0021c0
   1.183 +symbol: \<rightleftharpoons>    code: 0x0021cc
   1.184 +symbol: \<leadsto>              code: 0x00219d
   1.185 +symbol: \<downharpoonleft>      code: 0x0021c3
   1.186 +symbol: \<downharpoonright>     code: 0x0021c2
   1.187 +symbol: \<upharpoonleft>        code: 0x0021bf
   1.188 +symbol: \<upharpoonright>       code: 0x0021be
   1.189 +symbol: \<restriction>          code: 0x0021be
   1.190 +symbol: \<Colon>                code: 0x002237
   1.191 +symbol: \<up>                   code: 0x002191
   1.192 +symbol: \<Up>                   code: 0x0021d1
   1.193 +symbol: \<down>                 code: 0x002193
   1.194 +symbol: \<Down>                 code: 0x0021d3
   1.195 +symbol: \<updown>               code: 0x002195
   1.196 +symbol: \<Updown>               code: 0x0021d5
   1.197 +symbol: \<langle>               code: 0x0027e8
   1.198 +symbol: \<rangle>               code: 0x0027e9
   1.199 +symbol: \<lceil>                code: 0x002308
   1.200 +symbol: \<rceil>                code: 0x002309
   1.201 +symbol: \<lfloor>               code: 0x00230a
   1.202 +symbol: \<rfloor>               code: 0x00230b
   1.203 +symbol: \<lparr>                code: 0x002987
   1.204 +symbol: \<rparr>                code: 0x002988
   1.205 +symbol: \<lbrakk>               code: 0x0027e6
   1.206 +symbol: \<rbrakk>               code: 0x0027e7
   1.207 +symbol: \<lbrace>               code: 0x002983
   1.208 +symbol: \<rbrace>               code: 0x002984
   1.209 +symbol: \<guillemotleft>        code: 0x0000ab
   1.210 +symbol: \<guillemotright>       code: 0x0000bb
   1.211 +symbol: \<bottom>               code: 0x0022a5
   1.212 +symbol: \<top>                  code: 0x0022a4
   1.213 +symbol: \<and>                  code: 0x002227
   1.214 +symbol: \<And>                  code: 0x0022c0
   1.215 +symbol: \<or>                   code: 0x002228
   1.216 +symbol: \<Or>                   code: 0x0022c1
   1.217 +symbol: \<forall>               code: 0x002200
   1.218 +symbol: \<exists>               code: 0x002203
   1.219 +symbol: \<nexists>              code: 0x002204
   1.220 +symbol: \<not>                  code: 0x0000ac
   1.221 +symbol: \<box>                  code: 0x0025a1
   1.222 +symbol: \<diamond>              code: 0x0025c7
   1.223 +symbol: \<turnstile>            code: 0x0022a2
   1.224 +symbol: \<Turnstile>            code: 0x0022a8
   1.225 +symbol: \<tturnstile>           code: 0x0022a9
   1.226 +symbol: \<TTurnstile>           code: 0x0022ab
   1.227 +symbol: \<stileturn>            code: 0x0022a3
   1.228 +symbol: \<surd>                 code: 0x00221a
   1.229 +symbol: \<le>                   code: 0x002264
   1.230 +symbol: \<ge>                   code: 0x002265
   1.231 +symbol: \<lless>                code: 0x00226a
   1.232 +symbol: \<ggreater>             code: 0x00226b
   1.233 +symbol: \<lesssim>              code: 0x002272
   1.234 +symbol: \<greatersim>           code: 0x002273
   1.235 +symbol: \<lessapprox>           code: 0x002a85
   1.236 +symbol: \<greaterapprox>        code: 0x002a86
   1.237 +symbol: \<in>                   code: 0x002208
   1.238 +symbol: \<notin>                code: 0x002209
   1.239 +symbol: \<subset>               code: 0x002282
   1.240 +symbol: \<supset>               code: 0x002283
   1.241 +symbol: \<subseteq>             code: 0x002286
   1.242 +symbol: \<supseteq>             code: 0x002287
   1.243 +symbol: \<sqsubset>             code: 0x00228f
   1.244 +symbol: \<sqsupset>             code: 0x002290
   1.245 +symbol: \<sqsubseteq>           code: 0x002291
   1.246 +symbol: \<sqsupseteq>           code: 0x002292
   1.247 +symbol: \<inter>                code: 0x002229
   1.248 +symbol: \<Inter>                code: 0x0022c2
   1.249 +symbol: \<union>                code: 0x00222a
   1.250 +symbol: \<Union>                code: 0x0022c3
   1.251 +symbol: \<squnion>              code: 0x002294
   1.252 +symbol: \<Squnion>              code: 0x002a06
   1.253 +symbol: \<sqinter>              code: 0x002293
   1.254 +symbol: \<Sqinter>              code: 0x002a05
   1.255 +symbol: \<setminus>             code: 0x002216
   1.256 +symbol: \<propto>               code: 0x00221d
   1.257 +symbol: \<uplus>                code: 0x00228e
   1.258 +symbol: \<Uplus>                code: 0x002a04
   1.259 +symbol: \<noteq>                code: 0x002260
   1.260 +symbol: \<sim>                  code: 0x00223c
   1.261 +symbol: \<doteq>                code: 0x002250
   1.262 +symbol: \<simeq>                code: 0x002243
   1.263 +symbol: \<approx>               code: 0x002248
   1.264 +symbol: \<asymp>                code: 0x00224d
   1.265 +symbol: \<cong>                 code: 0x002245
   1.266 +symbol: \<smile>                code: 0x002323
   1.267 +symbol: \<equiv>                code: 0x002261
   1.268 +symbol: \<frown>                code: 0x002322
   1.269 +symbol: \<Join>                 code: 0x0022c8
   1.270 +symbol: \<bowtie>               code: 0x002a1d
   1.271 +symbol: \<prec>                 code: 0x00227a
   1.272 +symbol: \<succ>                 code: 0x00227b
   1.273 +symbol: \<preceq>               code: 0x00227c
   1.274 +symbol: \<succeq>               code: 0x00227d
   1.275 +symbol: \<parallel>             code: 0x002225
   1.276 +symbol: \<bar>                  code: 0x0000a6
   1.277 +symbol: \<plusminus>            code: 0x0000b1
   1.278 +symbol: \<minusplus>            code: 0x002213
   1.279 +symbol: \<times>                code: 0x0000d7
   1.280 +symbol: \<div>                  code: 0x0000f7
   1.281 +symbol: \<cdot>                 code: 0x0022c5
   1.282 +symbol: \<star>                 code: 0x0022c6
   1.283 +symbol: \<bullet>               code: 0x002219
   1.284 +symbol: \<circ>                 code: 0x002218
   1.285 +symbol: \<dagger>               code: 0x002020
   1.286 +symbol: \<ddagger>              code: 0x002021
   1.287 +symbol: \<lhd>                  code: 0x0022b2
   1.288 +symbol: \<rhd>                  code: 0x0022b3
   1.289 +symbol: \<unlhd>                code: 0x0022b4
   1.290 +symbol: \<unrhd>                code: 0x0022b5
   1.291 +symbol: \<triangleleft>         code: 0x0025c3
   1.292 +symbol: \<triangleright>        code: 0x0025b9
   1.293 +symbol: \<triangle>             code: 0x0025b3
   1.294 +symbol: \<triangleq>            code: 0x00225c
   1.295 +symbol: \<oplus>                code: 0x002295
   1.296 +symbol: \<Oplus>                code: 0x002a01
   1.297 +symbol: \<otimes>               code: 0x002297
   1.298 +symbol: \<Otimes>               code: 0x002a02
   1.299 +symbol: \<odot>                 code: 0x002299
   1.300 +symbol: \<Odot>                 code: 0x002a00
   1.301 +symbol: \<ominus>               code: 0x002296
   1.302 +symbol: \<oslash>               code: 0x002298
   1.303 +symbol: \<dots>                 code: 0x002026
   1.304 +symbol: \<cdots>                code: 0x0022ef
   1.305 +symbol: \<Sum>                  code: 0x002211
   1.306 +symbol: \<Prod>                 code: 0x00220f
   1.307 +symbol: \<Coprod>               code: 0x002210
   1.308 +symbol: \<infinity>             code: 0x00221e
   1.309 +symbol: \<integral>             code: 0x00222b
   1.310 +symbol: \<ointegral>            code: 0x00222e
   1.311 +symbol: \<clubsuit>             code: 0x002663
   1.312 +symbol: \<diamondsuit>          code: 0x002662
   1.313 +symbol: \<heartsuit>            code: 0x002661
   1.314 +symbol: \<spadesuit>            code: 0x002660
   1.315 +symbol: \<aleph>                code: 0x002135
   1.316 +symbol: \<emptyset>             code: 0x002205
   1.317 +symbol: \<nabla>                code: 0x002207
   1.318 +symbol: \<partial>              code: 0x002202
   1.319 +symbol: \<Re>                   code: 0x00211c
   1.320 +symbol: \<Im>                   code: 0x002111
   1.321 +symbol: \<flat>                 code: 0x00266d
   1.322 +symbol: \<natural>              code: 0x00266e
   1.323 +symbol: \<sharp>                code: 0x00266f
   1.324 +symbol: \<angle>                code: 0x002220
   1.325 +symbol: \<copyright>            code: 0x0000a9
   1.326 +symbol: \<registered>           code: 0x0000ae
   1.327 +symbol: \<hyphen>               code: 0x0000ad
   1.328 +symbol: \<inverse>              code: 0x0000af
   1.329 +symbol: \<onesuperior>          code: 0x0000b9
   1.330 +symbol: \<onequarter>           code: 0x0000bc
   1.331 +symbol: \<twosuperior>          code: 0x0000b2
   1.332 +symbol: \<onehalf>              code: 0x0000bd
   1.333 +symbol: \<threesuperior>        code: 0x0000b3
   1.334 +symbol: \<threequarters>        code: 0x0000be
   1.335 +symbol: \<ordfeminine>          code: 0x0000aa
   1.336 +symbol: \<ordmasculine>         code: 0x0000ba
   1.337 +symbol: \<section>              code: 0x0000a7
   1.338 +symbol: \<paragraph>            code: 0x0000b6
   1.339 +symbol: \<exclamdown>           code: 0x0000a1
   1.340 +symbol: \<questiondown>         code: 0x0000bf
   1.341 +symbol: \<euro>                 code: 0x0020ac
   1.342 +symbol: \<pounds>               code: 0x0000a3
   1.343 +symbol: \<yen>                  code: 0x0000a5
   1.344 +symbol: \<cent>                 code: 0x0000a2
   1.345 +symbol: \<currency>             code: 0x0000a4
   1.346 +symbol: \<degree>               code: 0x0000b0
   1.347 +symbol: \<amalg>                code: 0x002a3f
   1.348 +symbol: \<mho>                  code: 0x002127
   1.349 +symbol: \<lozenge>              code: 0x0025ca
   1.350 +symbol: \<wp>                   code: 0x002118
   1.351 +symbol: \<wrong>                code: 0x002240
   1.352 +symbol: \<struct>               code: 0x0022c4
   1.353 +symbol: \<acute>                code: 0x0000b4
   1.354 +symbol: \<index>                code: 0x000131
   1.355 +symbol: \<dieresis>             code: 0x0000a8
   1.356 +symbol: \<cedilla>              code: 0x0000b8
   1.357 +symbol: \<hungarumlaut>         code: 0x0002dd
   1.358 +symbol: \<spacespace>           code: 0x002423
   1.359 +symbol: \<some>                 code: 0x0003f5
   1.360 +