etc/symbols
author wenzelm
Fri, 15 Aug 2008 17:19:32 +0200
changeset 27898 e0953043ce90
child 27899 a152c8a38b7d
permissions -rw-r--r--
Default interpretation of some Isabelle symbols.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27898
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     1
# $Id$
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     2
# Default interpretation of some Isabelle symbols
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     4
symbol: \<zero>                 code: 0x01d7ec
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     5
symbol: \<one>                  code: 0x01d7ed
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     6
symbol: \<two>                  code: 0x01d7ee
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     7
symbol: \<three>                code: 0x01d7ef
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     8
symbol: \<four>                 code: 0x01d7f0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
     9
symbol: \<five>                 code: 0x01d7f1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    10
symbol: \<six>                  code: 0x01d7f2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    11
symbol: \<seven>                code: 0x01d7f3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    12
symbol: \<eight>                code: 0x01d7f4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    13
symbol: \<nine>                 code: 0x01d7f5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    14
symbol: \<A>                    code: 0x01d49c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    15
symbol: \<B>                    code: 0x00212c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    16
symbol: \<C>                    code: 0x01d49e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    17
symbol: \<D>                    code: 0x01d49f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    18
symbol: \<E>                    code: 0x002130
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    19
symbol: \<F>                    code: 0x002131
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    20
symbol: \<G>                    code: 0x01d4a2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    21
symbol: \<H>                    code: 0x00210b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    22
symbol: \<I>                    code: 0x002110
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    23
symbol: \<J>                    code: 0x01d4a5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    24
symbol: \<K>                    code: 0x01d4a6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    25
symbol: \<L>                    code: 0x002112
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    26
symbol: \<M>                    code: 0x002133
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    27
symbol: \<N>                    code: 0x01d4a9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    28
symbol: \<O>                    code: 0x01d4aa
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    29
symbol: \<P>                    code: 0x01d4ab
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    30
symbol: \<Q>                    code: 0x01d4ac
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    31
symbol: \<R>                    code: 0x00211b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    32
symbol: \<S>                    code: 0x01d4ae
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    33
symbol: \<T>                    code: 0x01d4af
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    34
symbol: \<U>                    code: 0x01d4b0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    35
symbol: \<V>                    code: 0x01d4b1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    36
symbol: \<W>                    code: 0x01d4b2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    37
symbol: \<X>                    code: 0x01d4b3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    38
symbol: \<Y>                    code: 0x01d4b4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    39
symbol: \<Z>                    code: 0x01d4b5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    40
symbol: \<a>                    code: 0x01d5ba
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    41
symbol: \<b>                    code: 0x01d5bb
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    42
symbol: \<c>                    code: 0x01d5bc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    43
symbol: \<d>                    code: 0x01d5bd
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    44
symbol: \<e>                    code: 0x01d5be
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    45
symbol: \<f>                    code: 0x01d5bf
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    46
symbol: \<g>                    code: 0x01d5c0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    47
symbol: \<h>                    code: 0x01d5c1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    48
symbol: \<i>                    code: 0x01d5c2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    49
symbol: \<j>                    code: 0x01d5c3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    50
symbol: \<k>                    code: 0x01d5c4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    51
symbol: \<l>                    code: 0x01d5c5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    52
symbol: \<m>                    code: 0x01d5c6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    53
symbol: \<n>                    code: 0x01d5c7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    54
symbol: \<o>                    code: 0x01d5c8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    55
symbol: \<p>                    code: 0x01d5c9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    56
symbol: \<q>                    code: 0x01d5ca
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    57
symbol: \<r>                    code: 0x01d5cb
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    58
symbol: \<s>                    code: 0x01d5cc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    59
symbol: \<t>                    code: 0x01d5cd
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    60
symbol: \<u>                    code: 0x01d5ce
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    61
symbol: \<v>                    code: 0x01d5cf
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    62
symbol: \<w>                    code: 0x01d5d0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    63
symbol: \<x>                    code: 0x01d5d1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    64
symbol: \<y>                    code: 0x01d5d2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    65
symbol: \<z>                    code: 0x01d5d3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    66
symbol: \<AA>                   code: 0x01d504
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    67
symbol: \<BB>                   code: 0x01d505
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    68
symbol: \<CC>                   code: 0x00212d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    69
symbol: \<DD>                   code: 0x01d507
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    70
symbol: \<EE>                   code: 0x01d508
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    71
symbol: \<FF>                   code: 0x01d509
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    72
symbol: \<GG>                   code: 0x01d50a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    73
symbol: \<HH>                   code: 0x00210c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    74
symbol: \<II>                   code: 0x002111
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    75
symbol: \<JJ>                   code: 0x01d50d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    76
symbol: \<KK>                   code: 0x01d50e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    77
symbol: \<LL>                   code: 0x01d50f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    78
symbol: \<MM>                   code: 0x01d510
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    79
symbol: \<NN>                   code: 0x01d511
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    80
symbol: \<OO>                   code: 0x01d512
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    81
symbol: \<PP>                   code: 0x01d513
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    82
symbol: \<QQ>                   code: 0x01d514
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    83
symbol: \<RR>                   code: 0x00211c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    84
symbol: \<SS>                   code: 0x01d516
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    85
symbol: \<TT>                   code: 0x01d517
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    86
symbol: \<UU>                   code: 0x01d518
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    87
symbol: \<VV>                   code: 0x01d519
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    88
symbol: \<WW>                   code: 0x01d51a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    89
symbol: \<XX>                   code: 0x01d51b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    90
symbol: \<YY>                   code: 0x01d51c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    91
symbol: \<ZZ>                   code: 0x002128
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    92
symbol: \<aa>                   code: 0x01d51e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    93
symbol: \<bb>                   code: 0x01d51f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    94
symbol: \<cc>                   code: 0x01d520
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    95
symbol: \<dd>                   code: 0x01d521
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    96
symbol: \<ee>                   code: 0x01d522
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    97
symbol: \<ff>                   code: 0x01d523
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    98
symbol: \<gg>                   code: 0x01d524
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
    99
symbol: \<hh>                   code: 0x01d525
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   100
symbol: \<ii>                   code: 0x01d526
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   101
symbol: \<jj>                   code: 0x01d527
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   102
symbol: \<kk>                   code: 0x01d528
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   103
symbol: \<ll>                   code: 0x01d529
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   104
symbol: \<mm>                   code: 0x01d52a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   105
symbol: \<nn>                   code: 0x01d52b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   106
symbol: \<oo>                   code: 0x01d52c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   107
symbol: \<pp>                   code: 0x01d52d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   108
symbol: \<qq>                   code: 0x01d52e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   109
symbol: \<rr>                   code: 0x01d52f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   110
symbol: \<ss>                   code: 0x01d530
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   111
symbol: \<tt>                   code: 0x01d531
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   112
symbol: \<uu>                   code: 0x01d532
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   113
symbol: \<vv>                   code: 0x01d533
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   114
symbol: \<ww>                   code: 0x01d534
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   115
symbol: \<xx>                   code: 0x01d535
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   116
symbol: \<yy>                   code: 0x01d536
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   117
symbol: \<zz>                   code: 0x01d537
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   118
symbol: \<alpha>                code: 0x0003b1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   119
symbol: \<beta>                 code: 0x0003b2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   120
symbol: \<gamma>                code: 0x0003b3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   121
symbol: \<delta>                code: 0x0003b4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   122
symbol: \<epsilon>              code: 0x0003b5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   123
symbol: \<zeta>                 code: 0x0003b6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   124
symbol: \<eta>                  code: 0x0003b7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   125
symbol: \<theta>                code: 0x0003b8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   126
symbol: \<iota>                 code: 0x0003b9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   127
symbol: \<kappa>                code: 0x0003ba
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   128
symbol: \<lambda>               code: 0x0003bb
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   129
symbol: \<mu>                   code: 0x0003bc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   130
symbol: \<nu>                   code: 0x0003bd
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   131
symbol: \<xi>                   code: 0x0003be
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   132
symbol: \<pi>                   code: 0x0003c0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   133
symbol: \<rho>                  code: 0x0003c1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   134
symbol: \<sigma>                code: 0x0003c3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   135
symbol: \<tau>                  code: 0x0003c4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   136
symbol: \<upsilon>              code: 0x0003c5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   137
symbol: \<phi>                  code: 0x0003c6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   138
symbol: \<chi>                  code: 0x0003c7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   139
symbol: \<psi>                  code: 0x0003c8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   140
symbol: \<omega>                code: 0x0003c9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   141
symbol: \<Gamma>                code: 0x000393
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   142
symbol: \<Delta>                code: 0x000394
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   143
symbol: \<Theta>                code: 0x000398
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   144
symbol: \<Lambda>               code: 0x00039b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   145
symbol: \<Xi>                   code: 0x00039e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   146
symbol: \<Pi>                   code: 0x0003a0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   147
symbol: \<Sigma>                code: 0x0003a3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   148
symbol: \<Upsilon>              code: 0x0003a5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   149
symbol: \<Phi>                  code: 0x0003a6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   150
symbol: \<Psi>                  code: 0x0003a8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   151
symbol: \<Omega>                code: 0x0003a9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   152
symbol: \<bool>                 code: 0x01d539
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   153
symbol: \<complex>              code: 0x002102
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   154
symbol: \<nat>                  code: 0x002115
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   155
symbol: \<rat>                  code: 0x00211a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   156
symbol: \<real>                 code: 0x00211d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   157
symbol: \<int>                  code: 0x002124
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   158
symbol: \<leftarrow>            code: 0x002190
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   159
symbol: \<longleftarrow>        code: 0x0027f5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   160
symbol: \<rightarrow>           code: 0x002192
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   161
symbol: \<longrightarrow>       code: 0x0027f6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   162
symbol: \<Leftarrow>            code: 0x0021d0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   163
symbol: \<Longleftarrow>        code: 0x0027f8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   164
symbol: \<Rightarrow>           code: 0x0021d2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   165
symbol: \<Longrightarrow>       code: 0x0027f9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   166
symbol: \<leftrightarrow>       code: 0x002194
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   167
symbol: \<longleftrightarrow>   code: 0x0027f7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   168
symbol: \<Leftrightarrow>       code: 0x0021d4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   169
symbol: \<Longleftrightarrow>   code: 0x0027fa
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   170
symbol: \<mapsto>               code: 0x0021a6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   171
symbol: \<longmapsto>           code: 0x0027fc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   172
symbol: \<midarrow>             code: 0x002500
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   173
symbol: \<Midarrow>             code: 0x002550
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   174
symbol: \<hookleftarrow>        code: 0x0021a9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   175
symbol: \<hookrightarrow>       code: 0x0021aa
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   176
symbol: \<leftharpoondown>      code: 0x0021bd
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   177
symbol: \<rightharpoondown>     code: 0x0021c1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   178
symbol: \<leftharpoonup>        code: 0x0021bc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   179
symbol: \<rightharpoonup>       code: 0x0021c0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   180
symbol: \<rightleftharpoons>    code: 0x0021cc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   181
symbol: \<leadsto>              code: 0x00219d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   182
symbol: \<downharpoonleft>      code: 0x0021c3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   183
symbol: \<downharpoonright>     code: 0x0021c2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   184
symbol: \<upharpoonleft>        code: 0x0021bf
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   185
symbol: \<upharpoonright>       code: 0x0021be
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   186
symbol: \<restriction>          code: 0x0021be
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   187
symbol: \<Colon>                code: 0x002237
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   188
symbol: \<up>                   code: 0x002191
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   189
symbol: \<Up>                   code: 0x0021d1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   190
symbol: \<down>                 code: 0x002193
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   191
symbol: \<Down>                 code: 0x0021d3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   192
symbol: \<updown>               code: 0x002195
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   193
symbol: \<Updown>               code: 0x0021d5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   194
symbol: \<langle>               code: 0x0027e8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   195
symbol: \<rangle>               code: 0x0027e9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   196
symbol: \<lceil>                code: 0x002308
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   197
symbol: \<rceil>                code: 0x002309
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   198
symbol: \<lfloor>               code: 0x00230a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   199
symbol: \<rfloor>               code: 0x00230b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   200
symbol: \<lparr>                code: 0x002987
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   201
symbol: \<rparr>                code: 0x002988
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   202
symbol: \<lbrakk>               code: 0x0027e6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   203
symbol: \<rbrakk>               code: 0x0027e7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   204
symbol: \<lbrace>               code: 0x002983
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   205
symbol: \<rbrace>               code: 0x002984
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   206
symbol: \<guillemotleft>        code: 0x0000ab
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   207
symbol: \<guillemotright>       code: 0x0000bb
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   208
symbol: \<bottom>               code: 0x0022a5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   209
symbol: \<top>                  code: 0x0022a4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   210
symbol: \<and>                  code: 0x002227
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   211
symbol: \<And>                  code: 0x0022c0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   212
symbol: \<or>                   code: 0x002228
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   213
symbol: \<Or>                   code: 0x0022c1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   214
symbol: \<forall>               code: 0x002200
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   215
symbol: \<exists>               code: 0x002203
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   216
symbol: \<nexists>              code: 0x002204
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   217
symbol: \<not>                  code: 0x0000ac
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   218
symbol: \<box>                  code: 0x0025a1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   219
symbol: \<diamond>              code: 0x0025c7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   220
symbol: \<turnstile>            code: 0x0022a2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   221
symbol: \<Turnstile>            code: 0x0022a8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   222
symbol: \<tturnstile>           code: 0x0022a9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   223
symbol: \<TTurnstile>           code: 0x0022ab
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   224
symbol: \<stileturn>            code: 0x0022a3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   225
symbol: \<surd>                 code: 0x00221a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   226
symbol: \<le>                   code: 0x002264
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   227
symbol: \<ge>                   code: 0x002265
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   228
symbol: \<lless>                code: 0x00226a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   229
symbol: \<ggreater>             code: 0x00226b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   230
symbol: \<lesssim>              code: 0x002272
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   231
symbol: \<greatersim>           code: 0x002273
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   232
symbol: \<lessapprox>           code: 0x002a85
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   233
symbol: \<greaterapprox>        code: 0x002a86
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   234
symbol: \<in>                   code: 0x002208
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   235
symbol: \<notin>                code: 0x002209
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   236
symbol: \<subset>               code: 0x002282
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   237
symbol: \<supset>               code: 0x002283
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   238
symbol: \<subseteq>             code: 0x002286
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   239
symbol: \<supseteq>             code: 0x002287
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   240
symbol: \<sqsubset>             code: 0x00228f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   241
symbol: \<sqsupset>             code: 0x002290
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   242
symbol: \<sqsubseteq>           code: 0x002291
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   243
symbol: \<sqsupseteq>           code: 0x002292
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   244
symbol: \<inter>                code: 0x002229
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   245
symbol: \<Inter>                code: 0x0022c2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   246
symbol: \<union>                code: 0x00222a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   247
symbol: \<Union>                code: 0x0022c3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   248
symbol: \<squnion>              code: 0x002294
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   249
symbol: \<Squnion>              code: 0x002a06
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   250
symbol: \<sqinter>              code: 0x002293
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   251
symbol: \<Sqinter>              code: 0x002a05
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   252
symbol: \<setminus>             code: 0x002216
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   253
symbol: \<propto>               code: 0x00221d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   254
symbol: \<uplus>                code: 0x00228e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   255
symbol: \<Uplus>                code: 0x002a04
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   256
symbol: \<noteq>                code: 0x002260
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   257
symbol: \<sim>                  code: 0x00223c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   258
symbol: \<doteq>                code: 0x002250
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   259
symbol: \<simeq>                code: 0x002243
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   260
symbol: \<approx>               code: 0x002248
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   261
symbol: \<asymp>                code: 0x00224d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   262
symbol: \<cong>                 code: 0x002245
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   263
symbol: \<smile>                code: 0x002323
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   264
symbol: \<equiv>                code: 0x002261
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   265
symbol: \<frown>                code: 0x002322
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   266
symbol: \<Join>                 code: 0x0022c8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   267
symbol: \<bowtie>               code: 0x002a1d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   268
symbol: \<prec>                 code: 0x00227a
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   269
symbol: \<succ>                 code: 0x00227b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   270
symbol: \<preceq>               code: 0x00227c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   271
symbol: \<succeq>               code: 0x00227d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   272
symbol: \<parallel>             code: 0x002225
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   273
symbol: \<bar>                  code: 0x0000a6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   274
symbol: \<plusminus>            code: 0x0000b1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   275
symbol: \<minusplus>            code: 0x002213
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   276
symbol: \<times>                code: 0x0000d7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   277
symbol: \<div>                  code: 0x0000f7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   278
symbol: \<cdot>                 code: 0x0022c5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   279
symbol: \<star>                 code: 0x0022c6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   280
symbol: \<bullet>               code: 0x002219
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   281
symbol: \<circ>                 code: 0x002218
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   282
symbol: \<dagger>               code: 0x002020
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   283
symbol: \<ddagger>              code: 0x002021
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   284
symbol: \<lhd>                  code: 0x0022b2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   285
symbol: \<rhd>                  code: 0x0022b3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   286
symbol: \<unlhd>                code: 0x0022b4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   287
symbol: \<unrhd>                code: 0x0022b5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   288
symbol: \<triangleleft>         code: 0x0025c3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   289
symbol: \<triangleright>        code: 0x0025b9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   290
symbol: \<triangle>             code: 0x0025b3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   291
symbol: \<triangleq>            code: 0x00225c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   292
symbol: \<oplus>                code: 0x002295
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   293
symbol: \<Oplus>                code: 0x002a01
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   294
symbol: \<otimes>               code: 0x002297
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   295
symbol: \<Otimes>               code: 0x002a02
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   296
symbol: \<odot>                 code: 0x002299
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   297
symbol: \<Odot>                 code: 0x002a00
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   298
symbol: \<ominus>               code: 0x002296
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   299
symbol: \<oslash>               code: 0x002298
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   300
symbol: \<dots>                 code: 0x002026
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   301
symbol: \<cdots>                code: 0x0022ef
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   302
symbol: \<Sum>                  code: 0x002211
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   303
symbol: \<Prod>                 code: 0x00220f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   304
symbol: \<Coprod>               code: 0x002210
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   305
symbol: \<infinity>             code: 0x00221e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   306
symbol: \<integral>             code: 0x00222b
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   307
symbol: \<ointegral>            code: 0x00222e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   308
symbol: \<clubsuit>             code: 0x002663
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   309
symbol: \<diamondsuit>          code: 0x002662
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   310
symbol: \<heartsuit>            code: 0x002661
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   311
symbol: \<spadesuit>            code: 0x002660
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   312
symbol: \<aleph>                code: 0x002135
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   313
symbol: \<emptyset>             code: 0x002205
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   314
symbol: \<nabla>                code: 0x002207
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   315
symbol: \<partial>              code: 0x002202
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   316
symbol: \<Re>                   code: 0x00211c
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   317
symbol: \<Im>                   code: 0x002111
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   318
symbol: \<flat>                 code: 0x00266d
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   319
symbol: \<natural>              code: 0x00266e
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   320
symbol: \<sharp>                code: 0x00266f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   321
symbol: \<angle>                code: 0x002220
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   322
symbol: \<copyright>            code: 0x0000a9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   323
symbol: \<registered>           code: 0x0000ae
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   324
symbol: \<hyphen>               code: 0x0000ad
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   325
symbol: \<inverse>              code: 0x0000af
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   326
symbol: \<onesuperior>          code: 0x0000b9
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   327
symbol: \<onequarter>           code: 0x0000bc
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   328
symbol: \<twosuperior>          code: 0x0000b2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   329
symbol: \<onehalf>              code: 0x0000bd
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   330
symbol: \<threesuperior>        code: 0x0000b3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   331
symbol: \<threequarters>        code: 0x0000be
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   332
symbol: \<ordfeminine>          code: 0x0000aa
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   333
symbol: \<ordmasculine>         code: 0x0000ba
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   334
symbol: \<section>              code: 0x0000a7
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   335
symbol: \<paragraph>            code: 0x0000b6
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   336
symbol: \<exclamdown>           code: 0x0000a1
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   337
symbol: \<questiondown>         code: 0x0000bf
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   338
symbol: \<euro>                 code: 0x0020ac
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   339
symbol: \<pounds>               code: 0x0000a3
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   340
symbol: \<yen>                  code: 0x0000a5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   341
symbol: \<cent>                 code: 0x0000a2
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   342
symbol: \<currency>             code: 0x0000a4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   343
symbol: \<degree>               code: 0x0000b0
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   344
symbol: \<amalg>                code: 0x002a3f
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   345
symbol: \<mho>                  code: 0x002127
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   346
symbol: \<lozenge>              code: 0x0025ca
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   347
symbol: \<wp>                   code: 0x002118
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   348
symbol: \<wrong>                code: 0x002240
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   349
symbol: \<struct>               code: 0x0022c4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   350
symbol: \<acute>                code: 0x0000b4
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   351
symbol: \<index>                code: 0x000131
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   352
symbol: \<dieresis>             code: 0x0000a8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   353
symbol: \<cedilla>              code: 0x0000b8
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   354
symbol: \<hungarumlaut>         code: 0x0002dd
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   355
symbol: \<spacespace>           code: 0x002423
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   356
symbol: \<some>                 code: 0x0003f5
e0953043ce90 Default interpretation of some Isabelle symbols.
wenzelm
parents:
diff changeset
   357