etc/symbols
changeset 43486 4a1ef71fbf5f
parent 43463 0a2ffb071fca
child 43503 ca87677d2265
     1.1 --- a/etc/symbols	Mon Jun 20 23:21:24 2011 +0200
     1.2 +++ b/etc/symbols	Mon Jun 20 23:25:39 2011 +0200
     1.3 @@ -1,325 +1,325 @@
     1.4  # Default interpretation of some Isabelle symbols
     1.5  
     1.6 -\<zero>                 code: 0x01d7ec  font: Isabelle
     1.7 -\<one>                  code: 0x01d7ed  font: Isabelle
     1.8 -\<two>                  code: 0x01d7ee  font: Isabelle
     1.9 -\<three>                code: 0x01d7ef  font: Isabelle
    1.10 -\<four>                 code: 0x01d7f0  font: Isabelle
    1.11 -\<five>                 code: 0x01d7f1  font: Isabelle
    1.12 -\<six>                  code: 0x01d7f2  font: Isabelle
    1.13 -\<seven>                code: 0x01d7f3  font: Isabelle
    1.14 -\<eight>                code: 0x01d7f4  font: Isabelle
    1.15 -\<nine>                 code: 0x01d7f5  font: Isabelle
    1.16 -\<A>                    code: 0x01d49c  font: Isabelle
    1.17 -\<B>                    code: 0x00212c  font: Isabelle
    1.18 -\<C>                    code: 0x01d49e  font: Isabelle
    1.19 -\<D>                    code: 0x01d49f  font: Isabelle
    1.20 -\<E>                    code: 0x002130  font: Isabelle
    1.21 -\<F>                    code: 0x002131  font: Isabelle
    1.22 -\<G>                    code: 0x01d4a2  font: Isabelle
    1.23 -\<H>                    code: 0x00210b  font: Isabelle
    1.24 -\<I>                    code: 0x002110  font: Isabelle
    1.25 -\<J>                    code: 0x01d4a5  font: Isabelle
    1.26 -\<K>                    code: 0x01d4a6  font: Isabelle
    1.27 -\<L>                    code: 0x002112  font: Isabelle
    1.28 -\<M>                    code: 0x002133  font: Isabelle
    1.29 -\<N>                    code: 0x01d4a9  font: Isabelle
    1.30 -\<O>                    code: 0x01d4aa  font: Isabelle
    1.31 -\<P>                    code: 0x01d4ab  font: Isabelle
    1.32 -\<Q>                    code: 0x01d4ac  font: Isabelle
    1.33 -\<R>                    code: 0x00211b  font: Isabelle
    1.34 -\<S>                    code: 0x01d4ae  font: Isabelle
    1.35 -\<T>                    code: 0x01d4af  font: Isabelle
    1.36 -\<U>                    code: 0x01d4b0  font: Isabelle
    1.37 -\<V>                    code: 0x01d4b1  font: Isabelle
    1.38 -\<W>                    code: 0x01d4b2  font: Isabelle
    1.39 -\<X>                    code: 0x01d4b3  font: Isabelle
    1.40 -\<Y>                    code: 0x01d4b4  font: Isabelle
    1.41 -\<Z>                    code: 0x01d4b5  font: Isabelle
    1.42 -\<a>                    code: 0x01d5ba  font: Isabelle
    1.43 -\<b>                    code: 0x01d5bb  font: Isabelle
    1.44 -\<c>                    code: 0x01d5bc  font: Isabelle
    1.45 -\<d>                    code: 0x01d5bd  font: Isabelle
    1.46 -\<e>                    code: 0x01d5be  font: Isabelle
    1.47 -\<f>                    code: 0x01d5bf  font: Isabelle
    1.48 -\<g>                    code: 0x01d5c0  font: Isabelle
    1.49 -\<h>                    code: 0x01d5c1  font: Isabelle
    1.50 -\<i>                    code: 0x01d5c2  font: Isabelle
    1.51 -\<j>                    code: 0x01d5c3  font: Isabelle
    1.52 -\<k>                    code: 0x01d5c4  font: Isabelle
    1.53 -\<l>                    code: 0x01d5c5  font: Isabelle
    1.54 -\<m>                    code: 0x01d5c6  font: Isabelle
    1.55 -\<n>                    code: 0x01d5c7  font: Isabelle
    1.56 -\<o>                    code: 0x01d5c8  font: Isabelle
    1.57 -\<p>                    code: 0x01d5c9  font: Isabelle
    1.58 -\<q>                    code: 0x01d5ca  font: Isabelle
    1.59 -\<r>                    code: 0x01d5cb  font: Isabelle
    1.60 -\<s>                    code: 0x01d5cc  font: Isabelle
    1.61 -\<t>                    code: 0x01d5cd  font: Isabelle
    1.62 -\<u>                    code: 0x01d5ce  font: Isabelle
    1.63 -\<v>                    code: 0x01d5cf  font: Isabelle
    1.64 -\<w>                    code: 0x01d5d0  font: Isabelle
    1.65 -\<x>                    code: 0x01d5d1  font: Isabelle
    1.66 -\<y>                    code: 0x01d5d2  font: Isabelle
    1.67 -\<z>                    code: 0x01d5d3  font: Isabelle
    1.68 -\<AA>                   code: 0x01d504  font: Isabelle
    1.69 -\<BB>                   code: 0x01d505  font: Isabelle
    1.70 -\<CC>                   code: 0x00212d  font: Isabelle
    1.71 -\<DD>                   code: 0x01d507  font: Isabelle
    1.72 -\<EE>                   code: 0x01d508  font: Isabelle
    1.73 -\<FF>                   code: 0x01d509  font: Isabelle
    1.74 -\<GG>                   code: 0x01d50a  font: Isabelle
    1.75 -\<HH>                   code: 0x00210c  font: Isabelle
    1.76 -#\<II>                   code: 0x01d50c  font: Isabelle
    1.77 -\<JJ>                   code: 0x01d50d  font: Isabelle
    1.78 -\<KK>                   code: 0x01d50e  font: Isabelle
    1.79 -\<LL>                   code: 0x01d50f  font: Isabelle
    1.80 -\<MM>                   code: 0x01d510  font: Isabelle
    1.81 -\<NN>                   code: 0x01d511  font: Isabelle
    1.82 -\<OO>                   code: 0x01d512  font: Isabelle
    1.83 -\<PP>                   code: 0x01d513  font: Isabelle
    1.84 -\<QQ>                   code: 0x01d514  font: Isabelle
    1.85 -#\<RR>                   code: 0x01d515  font: Isabelle
    1.86 -\<SS>                   code: 0x01d516  font: Isabelle
    1.87 -\<TT>                   code: 0x01d517  font: Isabelle
    1.88 -\<UU>                   code: 0x01d518  font: Isabelle
    1.89 -\<VV>                   code: 0x01d519  font: Isabelle
    1.90 -\<WW>                   code: 0x01d51a  font: Isabelle
    1.91 -\<XX>                   code: 0x01d51b  font: Isabelle
    1.92 -\<YY>                   code: 0x01d51c  font: Isabelle
    1.93 -\<ZZ>                   code: 0x002128  font: Isabelle
    1.94 -\<aa>                   code: 0x01d51e  font: Isabelle
    1.95 -\<bb>                   code: 0x01d51f  font: Isabelle
    1.96 -\<cc>                   code: 0x01d520  font: Isabelle
    1.97 -\<dd>                   code: 0x01d521  font: Isabelle
    1.98 -\<ee>                   code: 0x01d522  font: Isabelle
    1.99 -\<ff>                   code: 0x01d523  font: Isabelle
   1.100 -\<gg>                   code: 0x01d524  font: Isabelle
   1.101 -\<hh>                   code: 0x01d525  font: Isabelle
   1.102 -\<ii>                   code: 0x01d526  font: Isabelle
   1.103 -\<jj>                   code: 0x01d527  font: Isabelle
   1.104 -\<kk>                   code: 0x01d528  font: Isabelle
   1.105 -\<ll>                   code: 0x01d529  font: Isabelle
   1.106 -\<mm>                   code: 0x01d52a  font: Isabelle
   1.107 -\<nn>                   code: 0x01d52b  font: Isabelle
   1.108 -\<oo>                   code: 0x01d52c  font: Isabelle
   1.109 -\<pp>                   code: 0x01d52d  font: Isabelle
   1.110 -\<qq>                   code: 0x01d52e  font: Isabelle
   1.111 -\<rr>                   code: 0x01d52f  font: Isabelle
   1.112 -\<ss>                   code: 0x01d530  font: Isabelle
   1.113 -\<tt>                   code: 0x01d531  font: Isabelle
   1.114 -\<uu>                   code: 0x01d532  font: Isabelle
   1.115 -\<vv>                   code: 0x01d533  font: Isabelle
   1.116 -\<ww>                   code: 0x01d534  font: Isabelle
   1.117 -\<xx>                   code: 0x01d535  font: Isabelle
   1.118 -\<yy>                   code: 0x01d536  font: Isabelle
   1.119 -\<zz>                   code: 0x01d537  font: Isabelle
   1.120 -\<alpha>                code: 0x0003b1  font: Isabelle
   1.121 -\<beta>                 code: 0x0003b2  font: Isabelle
   1.122 -\<gamma>                code: 0x0003b3  font: Isabelle
   1.123 -\<delta>                code: 0x0003b4  font: Isabelle
   1.124 -\<epsilon>              code: 0x0003b5  font: Isabelle
   1.125 -\<zeta>                 code: 0x0003b6  font: Isabelle
   1.126 -\<eta>                  code: 0x0003b7  font: Isabelle
   1.127 -\<theta>                code: 0x0003b8  font: Isabelle
   1.128 -\<iota>                 code: 0x0003b9  font: Isabelle
   1.129 -\<kappa>                code: 0x0003ba  font: Isabelle
   1.130 -\<lambda>               code: 0x0003bb  font: Isabelle  abbrev: %
   1.131 -\<mu>                   code: 0x0003bc  font: Isabelle
   1.132 -\<nu>                   code: 0x0003bd  font: Isabelle
   1.133 -\<xi>                   code: 0x0003be  font: Isabelle
   1.134 -\<pi>                   code: 0x0003c0  font: Isabelle
   1.135 -\<rho>                  code: 0x0003c1  font: Isabelle
   1.136 -\<sigma>                code: 0x0003c3  font: Isabelle
   1.137 -\<tau>                  code: 0x0003c4  font: Isabelle
   1.138 -\<upsilon>              code: 0x0003c5  font: Isabelle
   1.139 -\<phi>                  code: 0x0003c6  font: Isabelle
   1.140 -\<chi>                  code: 0x0003c7  font: Isabelle
   1.141 -\<psi>                  code: 0x0003c8  font: Isabelle
   1.142 -\<omega>                code: 0x0003c9  font: Isabelle
   1.143 -\<Gamma>                code: 0x000393  font: Isabelle
   1.144 -\<Delta>                code: 0x000394  font: Isabelle
   1.145 -\<Theta>                code: 0x000398  font: Isabelle
   1.146 -\<Lambda>               code: 0x00039b  font: Isabelle
   1.147 -\<Xi>                   code: 0x00039e  font: Isabelle
   1.148 -\<Pi>                   code: 0x0003a0  font: Isabelle
   1.149 -\<Sigma>                code: 0x0003a3  font: Isabelle
   1.150 -\<Upsilon>              code: 0x0003a5  font: Isabelle
   1.151 -\<Phi>                  code: 0x0003a6  font: Isabelle
   1.152 -\<Psi>                  code: 0x0003a8  font: Isabelle
   1.153 -\<Omega>                code: 0x0003a9  font: Isabelle
   1.154 -\<bool>                 code: 0x01d539  font: Isabelle
   1.155 -\<complex>              code: 0x002102  font: Isabelle
   1.156 -\<nat>                  code: 0x002115  font: Isabelle
   1.157 -\<rat>                  code: 0x00211a  font: Isabelle
   1.158 -\<real>                 code: 0x00211d  font: Isabelle
   1.159 -\<int>                  code: 0x002124  font: Isabelle
   1.160 -\<leftarrow>            code: 0x002190  font: Isabelle
   1.161 -\<longleftarrow>        code: 0x0027f5  font: Isabelle
   1.162 -\<rightarrow>           code: 0x002192  font: Isabelle  abbrev: ->
   1.163 -\<longrightarrow>       code: 0x0027f6  font: Isabelle  abbrev: -->
   1.164 -\<Leftarrow>            code: 0x0021d0  font: Isabelle
   1.165 -\<Longleftarrow>        code: 0x0027f8  font: Isabelle 
   1.166 -\<Rightarrow>           code: 0x0021d2  font: Isabelle  abbrev: =>
   1.167 -\<Longrightarrow>       code: 0x0027f9  font: Isabelle  abbrev: ==>
   1.168 -\<leftrightarrow>       code: 0x002194  font: Isabelle
   1.169 -\<longleftrightarrow>   code: 0x0027f7  font: Isabelle  abbrev: <->
   1.170 -\<Leftrightarrow>       code: 0x0021d4  font: Isabelle
   1.171 -\<Longleftrightarrow>   code: 0x0027fa  font: Isabelle  abbrev: <=>
   1.172 -\<mapsto>               code: 0x0021a6  font: Isabelle  abbrev: |->
   1.173 -\<longmapsto>           code: 0x0027fc  font: Isabelle  abbrev: |-->
   1.174 -\<midarrow>             code: 0x002500  font: Isabelle
   1.175 -\<Midarrow>             code: 0x002550  font: Isabelle
   1.176 -\<hookleftarrow>        code: 0x0021a9  font: Isabelle
   1.177 -\<hookrightarrow>       code: 0x0021aa  font: Isabelle
   1.178 -\<leftharpoondown>      code: 0x0021bd  font: Isabelle
   1.179 -\<rightharpoondown>     code: 0x0021c1  font: Isabelle
   1.180 -\<leftharpoonup>        code: 0x0021bc  font: Isabelle
   1.181 -\<rightharpoonup>       code: 0x0021c0  font: Isabelle
   1.182 -\<rightleftharpoons>    code: 0x0021cc  font: Isabelle
   1.183 -\<leadsto>              code: 0x00219d  font: Isabelle  abbrev: ~>
   1.184 -\<downharpoonleft>      code: 0x0021c3  font: Isabelle
   1.185 -\<downharpoonright>     code: 0x0021c2  font: Isabelle
   1.186 -\<upharpoonleft>        code: 0x0021bf  font: Isabelle
   1.187 -#\<upharpoonright>       code: 0x0021be  font: Isabelle
   1.188 -\<restriction>          code: 0x0021be  font: Isabelle
   1.189 -\<Colon>                code: 0x002237  font: Isabelle
   1.190 -\<up>                   code: 0x002191  font: Isabelle
   1.191 -\<Up>                   code: 0x0021d1  font: Isabelle
   1.192 -\<down>                 code: 0x002193  font: Isabelle
   1.193 -\<Down>                 code: 0x0021d3  font: Isabelle
   1.194 -\<updown>               code: 0x002195  font: Isabelle
   1.195 -\<Updown>               code: 0x0021d5  font: Isabelle
   1.196 -\<langle>               code: 0x0027e8  font: Isabelle  abbrev: <.
   1.197 -\<rangle>               code: 0x0027e9  font: Isabelle  abbrev: .>
   1.198 -\<lceil>                code: 0x002308  font: Isabelle
   1.199 -\<rceil>                code: 0x002309  font: Isabelle
   1.200 -\<lfloor>               code: 0x00230a  font: Isabelle
   1.201 -\<rfloor>               code: 0x00230b  font: Isabelle
   1.202 -\<lparr>                code: 0x002987  font: Isabelle  abbrev: (|
   1.203 -\<rparr>                code: 0x002988  font: Isabelle  abbrev: |)
   1.204 -\<lbrakk>               code: 0x0027e6  font: Isabelle  abbrev: [|
   1.205 -\<rbrakk>               code: 0x0027e7  font: Isabelle  abbrev: |]
   1.206 -\<lbrace>               code: 0x002983  font: Isabelle  abbrev: {.
   1.207 -\<rbrace>               code: 0x002984  font: Isabelle  abbrev: .}
   1.208 -\<guillemotleft>        code: 0x0000ab                  abbrev: <<
   1.209 -\<guillemotright>       code: 0x0000bb                  abbrev: >>
   1.210 -\<bottom>               code: 0x0022a5  font: Isabelle
   1.211 -\<top>                  code: 0x0022a4  font: Isabelle
   1.212 -\<and>                  code: 0x002227  font: Isabelle  abbrev: /\
   1.213 -\<And>                  code: 0x0022c0  font: Isabelle  abbrev: !!
   1.214 -\<or>                   code: 0x002228  font: Isabelle  abbrev: \/
   1.215 -\<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??
   1.216 -\<forall>               code: 0x002200  font: Isabelle  abbrev: !
   1.217 -\<exists>               code: 0x002203  font: Isabelle  abbrev: ?
   1.218 -\<nexists>              code: 0x002204  font: Isabelle  abbrev: ~?
   1.219 -\<not>                  code: 0x0000ac  font: Isabelle  abbrev: ~
   1.220 -\<box>                  code: 0x0025a1  font: Isabelle
   1.221 -\<diamond>              code: 0x0025c7  font: Isabelle
   1.222 -\<turnstile>            code: 0x0022a2  font: Isabelle  abbrev: |-
   1.223 -\<Turnstile>            code: 0x0022a8  font: Isabelle  abbrev: |=
   1.224 -\<tturnstile>           code: 0x0022a9  font: Isabelle  abbrev: ||-
   1.225 -\<TTurnstile>           code: 0x0022ab  font: Isabelle  abbrev: ||=
   1.226 -\<stileturn>            code: 0x0022a3  font: Isabelle  abbrev: -|
   1.227 -\<surd>                 code: 0x00221a  font: Isabelle
   1.228 -\<le>                   code: 0x002264  font: Isabelle  abbrev: <=
   1.229 -\<ge>                   code: 0x002265  font: Isabelle  abbrev: >=
   1.230 -\<lless>                code: 0x00226a  font: Isabelle
   1.231 -\<ggreater>             code: 0x00226b  font: Isabelle
   1.232 -\<lesssim>              code: 0x002272  font: Isabelle
   1.233 -\<greatersim>           code: 0x002273  font: Isabelle
   1.234 -\<lessapprox>           code: 0x002a85  font: Isabelle
   1.235 -\<greaterapprox>        code: 0x002a86  font: Isabelle
   1.236 -\<in>                   code: 0x002208  font: Isabelle  abbrev: :
   1.237 -\<notin>                code: 0x002209  font: Isabelle  abbrev: ~:
   1.238 -\<subset>               code: 0x002282  font: Isabelle
   1.239 -\<supset>               code: 0x002283  font: Isabelle
   1.240 -\<subseteq>             code: 0x002286  font: Isabelle  abbrev: (=
   1.241 -\<supseteq>             code: 0x002287  font: Isabelle  abbrev: =)
   1.242 -\<sqsubset>             code: 0x00228f  font: Isabelle
   1.243 -\<sqsupset>             code: 0x002290  font: Isabelle
   1.244 -\<sqsubseteq>           code: 0x002291  font: Isabelle  abbrev: [=
   1.245 -\<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: =]
   1.246 -\<inter>                code: 0x002229  font: Isabelle  abbrev: Int
   1.247 -\<Inter>                code: 0x0022c2  font: Isabelle  abbrev: Inter
   1.248 -\<union>                code: 0x00222a  font: Isabelle  abbrev: Un
   1.249 -\<Union>                code: 0x0022c3  font: Isabelle  abbrev: Union
   1.250 -\<squnion>              code: 0x002294  font: Isabelle
   1.251 -\<Squnion>              code: 0x002a06  font: Isabelle
   1.252 -\<sqinter>              code: 0x002293  font: Isabelle
   1.253 -\<Sqinter>              code: 0x002a05  font: Isabelle
   1.254 -\<setminus>             code: 0x002216  font: Isabelle
   1.255 -\<propto>               code: 0x00221d  font: Isabelle
   1.256 -\<uplus>                code: 0x00228e  font: Isabelle
   1.257 -\<Uplus>                code: 0x002a04  font: Isabelle
   1.258 -\<noteq>                code: 0x002260  font: Isabelle  abbrev: ~=
   1.259 -\<sim>                  code: 0x00223c  font: Isabelle
   1.260 -\<doteq>                code: 0x002250  font: Isabelle
   1.261 -\<simeq>                code: 0x002243  font: Isabelle
   1.262 -\<approx>               code: 0x002248  font: Isabelle
   1.263 -\<asymp>                code: 0x00224d  font: Isabelle
   1.264 -\<cong>                 code: 0x002245  font: Isabelle
   1.265 -\<smile>                code: 0x002323  font: Isabelle
   1.266 -\<equiv>                code: 0x002261  font: Isabelle  abbrev: ==
   1.267 -\<frown>                code: 0x002322  font: Isabelle
   1.268 -\<Join>                 code: 0x0022c8  font: Isabelle
   1.269 -\<bowtie>               code: 0x002a1d  font: Isabelle
   1.270 -\<prec>                 code: 0x00227a  font: Isabelle
   1.271 -\<succ>                 code: 0x00227b  font: Isabelle
   1.272 -\<preceq>               code: 0x00227c  font: Isabelle
   1.273 -\<succeq>               code: 0x00227d  font: Isabelle
   1.274 -\<parallel>             code: 0x002225  font: Isabelle  abbrev: ||
   1.275 +\<zero>                 code: 0x01d7ec
   1.276 +\<one>                  code: 0x01d7ed
   1.277 +\<two>                  code: 0x01d7ee
   1.278 +\<three>                code: 0x01d7ef
   1.279 +\<four>                 code: 0x01d7f0
   1.280 +\<five>                 code: 0x01d7f1
   1.281 +\<six>                  code: 0x01d7f2
   1.282 +\<seven>                code: 0x01d7f3
   1.283 +\<eight>                code: 0x01d7f4
   1.284 +\<nine>                 code: 0x01d7f5
   1.285 +\<A>                    code: 0x01d49c
   1.286 +\<B>                    code: 0x00212c
   1.287 +\<C>                    code: 0x01d49e
   1.288 +\<D>                    code: 0x01d49f
   1.289 +\<E>                    code: 0x002130
   1.290 +\<F>                    code: 0x002131
   1.291 +\<G>                    code: 0x01d4a2
   1.292 +\<H>                    code: 0x00210b
   1.293 +\<I>                    code: 0x002110
   1.294 +\<J>                    code: 0x01d4a5
   1.295 +\<K>                    code: 0x01d4a6
   1.296 +\<L>                    code: 0x002112
   1.297 +\<M>                    code: 0x002133
   1.298 +\<N>                    code: 0x01d4a9
   1.299 +\<O>                    code: 0x01d4aa
   1.300 +\<P>                    code: 0x01d4ab
   1.301 +\<Q>                    code: 0x01d4ac
   1.302 +\<R>                    code: 0x00211b
   1.303 +\<S>                    code: 0x01d4ae
   1.304 +\<T>                    code: 0x01d4af
   1.305 +\<U>                    code: 0x01d4b0
   1.306 +\<V>                    code: 0x01d4b1
   1.307 +\<W>                    code: 0x01d4b2
   1.308 +\<X>                    code: 0x01d4b3
   1.309 +\<Y>                    code: 0x01d4b4
   1.310 +\<Z>                    code: 0x01d4b5
   1.311 +\<a>                    code: 0x01d5ba
   1.312 +\<b>                    code: 0x01d5bb
   1.313 +\<c>                    code: 0x01d5bc
   1.314 +\<d>                    code: 0x01d5bd
   1.315 +\<e>                    code: 0x01d5be
   1.316 +\<f>                    code: 0x01d5bf
   1.317 +\<g>                    code: 0x01d5c0
   1.318 +\<h>                    code: 0x01d5c1
   1.319 +\<i>                    code: 0x01d5c2
   1.320 +\<j>                    code: 0x01d5c3
   1.321 +\<k>                    code: 0x01d5c4
   1.322 +\<l>                    code: 0x01d5c5
   1.323 +\<m>                    code: 0x01d5c6
   1.324 +\<n>                    code: 0x01d5c7
   1.325 +\<o>                    code: 0x01d5c8
   1.326 +\<p>                    code: 0x01d5c9
   1.327 +\<q>                    code: 0x01d5ca
   1.328 +\<r>                    code: 0x01d5cb
   1.329 +\<s>                    code: 0x01d5cc
   1.330 +\<t>                    code: 0x01d5cd
   1.331 +\<u>                    code: 0x01d5ce
   1.332 +\<v>                    code: 0x01d5cf
   1.333 +\<w>                    code: 0x01d5d0
   1.334 +\<x>                    code: 0x01d5d1
   1.335 +\<y>                    code: 0x01d5d2
   1.336 +\<z>                    code: 0x01d5d3
   1.337 +\<AA>                   code: 0x01d504
   1.338 +\<BB>                   code: 0x01d505
   1.339 +\<CC>                   code: 0x00212d
   1.340 +\<DD>                   code: 0x01d507
   1.341 +\<EE>                   code: 0x01d508
   1.342 +\<FF>                   code: 0x01d509
   1.343 +\<GG>                   code: 0x01d50a
   1.344 +\<HH>                   code: 0x00210c
   1.345 +#\<II>                   code: 0x01d50c
   1.346 +\<JJ>                   code: 0x01d50d
   1.347 +\<KK>                   code: 0x01d50e
   1.348 +\<LL>                   code: 0x01d50f
   1.349 +\<MM>                   code: 0x01d510
   1.350 +\<NN>                   code: 0x01d511
   1.351 +\<OO>                   code: 0x01d512
   1.352 +\<PP>                   code: 0x01d513
   1.353 +\<QQ>                   code: 0x01d514
   1.354 +#\<RR>                   code: 0x01d515
   1.355 +\<SS>                   code: 0x01d516
   1.356 +\<TT>                   code: 0x01d517
   1.357 +\<UU>                   code: 0x01d518
   1.358 +\<VV>                   code: 0x01d519
   1.359 +\<WW>                   code: 0x01d51a
   1.360 +\<XX>                   code: 0x01d51b
   1.361 +\<YY>                   code: 0x01d51c
   1.362 +\<ZZ>                   code: 0x002128
   1.363 +\<aa>                   code: 0x01d51e
   1.364 +\<bb>                   code: 0x01d51f
   1.365 +\<cc>                   code: 0x01d520
   1.366 +\<dd>                   code: 0x01d521
   1.367 +\<ee>                   code: 0x01d522
   1.368 +\<ff>                   code: 0x01d523
   1.369 +\<gg>                   code: 0x01d524
   1.370 +\<hh>                   code: 0x01d525
   1.371 +\<ii>                   code: 0x01d526
   1.372 +\<jj>                   code: 0x01d527
   1.373 +\<kk>                   code: 0x01d528
   1.374 +\<ll>                   code: 0x01d529
   1.375 +\<mm>                   code: 0x01d52a
   1.376 +\<nn>                   code: 0x01d52b
   1.377 +\<oo>                   code: 0x01d52c
   1.378 +\<pp>                   code: 0x01d52d
   1.379 +\<qq>                   code: 0x01d52e
   1.380 +\<rr>                   code: 0x01d52f
   1.381 +\<ss>                   code: 0x01d530
   1.382 +\<tt>                   code: 0x01d531
   1.383 +\<uu>                   code: 0x01d532
   1.384 +\<vv>                   code: 0x01d533
   1.385 +\<ww>                   code: 0x01d534
   1.386 +\<xx>                   code: 0x01d535
   1.387 +\<yy>                   code: 0x01d536
   1.388 +\<zz>                   code: 0x01d537
   1.389 +\<alpha>                code: 0x0003b1
   1.390 +\<beta>                 code: 0x0003b2
   1.391 +\<gamma>                code: 0x0003b3
   1.392 +\<delta>                code: 0x0003b4
   1.393 +\<epsilon>              code: 0x0003b5
   1.394 +\<zeta>                 code: 0x0003b6
   1.395 +\<eta>                  code: 0x0003b7
   1.396 +\<theta>                code: 0x0003b8
   1.397 +\<iota>                 code: 0x0003b9
   1.398 +\<kappa>                code: 0x0003ba
   1.399 +\<lambda>               code: 0x0003bb  abbrev: %
   1.400 +\<mu>                   code: 0x0003bc
   1.401 +\<nu>                   code: 0x0003bd
   1.402 +\<xi>                   code: 0x0003be
   1.403 +\<pi>                   code: 0x0003c0
   1.404 +\<rho>                  code: 0x0003c1
   1.405 +\<sigma>                code: 0x0003c3
   1.406 +\<tau>                  code: 0x0003c4
   1.407 +\<upsilon>              code: 0x0003c5
   1.408 +\<phi>                  code: 0x0003c6
   1.409 +\<chi>                  code: 0x0003c7
   1.410 +\<psi>                  code: 0x0003c8
   1.411 +\<omega>                code: 0x0003c9
   1.412 +\<Gamma>                code: 0x000393
   1.413 +\<Delta>                code: 0x000394
   1.414 +\<Theta>                code: 0x000398
   1.415 +\<Lambda>               code: 0x00039b
   1.416 +\<Xi>                   code: 0x00039e
   1.417 +\<Pi>                   code: 0x0003a0
   1.418 +\<Sigma>                code: 0x0003a3
   1.419 +\<Upsilon>              code: 0x0003a5
   1.420 +\<Phi>                  code: 0x0003a6
   1.421 +\<Psi>                  code: 0x0003a8
   1.422 +\<Omega>                code: 0x0003a9
   1.423 +\<bool>                 code: 0x01d539
   1.424 +\<complex>              code: 0x002102
   1.425 +\<nat>                  code: 0x002115
   1.426 +\<rat>                  code: 0x00211a
   1.427 +\<real>                 code: 0x00211d
   1.428 +\<int>                  code: 0x002124
   1.429 +\<leftarrow>            code: 0x002190
   1.430 +\<longleftarrow>        code: 0x0027f5
   1.431 +\<rightarrow>           code: 0x002192  abbrev: ->
   1.432 +\<longrightarrow>       code: 0x0027f6  abbrev: -->
   1.433 +\<Leftarrow>            code: 0x0021d0
   1.434 +\<Longleftarrow>        code: 0x0027f8
   1.435 +\<Rightarrow>           code: 0x0021d2  abbrev: =>
   1.436 +\<Longrightarrow>       code: 0x0027f9  abbrev: ==>
   1.437 +\<leftrightarrow>       code: 0x002194
   1.438 +\<longleftrightarrow>   code: 0x0027f7  abbrev: <->
   1.439 +\<Leftrightarrow>       code: 0x0021d4
   1.440 +\<Longleftrightarrow>   code: 0x0027fa  abbrev: <=>
   1.441 +\<mapsto>               code: 0x0021a6  abbrev: |->
   1.442 +\<longmapsto>           code: 0x0027fc  abbrev: |-->
   1.443 +\<midarrow>             code: 0x002500
   1.444 +\<Midarrow>             code: 0x002550
   1.445 +\<hookleftarrow>        code: 0x0021a9
   1.446 +\<hookrightarrow>       code: 0x0021aa
   1.447 +\<leftharpoondown>      code: 0x0021bd
   1.448 +\<rightharpoondown>     code: 0x0021c1
   1.449 +\<leftharpoonup>        code: 0x0021bc
   1.450 +\<rightharpoonup>       code: 0x0021c0
   1.451 +\<rightleftharpoons>    code: 0x0021cc
   1.452 +\<leadsto>              code: 0x00219d  abbrev: ~>
   1.453 +\<downharpoonleft>      code: 0x0021c3
   1.454 +\<downharpoonright>     code: 0x0021c2
   1.455 +\<upharpoonleft>        code: 0x0021bf
   1.456 +#\<upharpoonright>       code: 0x0021be
   1.457 +\<restriction>          code: 0x0021be
   1.458 +\<Colon>                code: 0x002237
   1.459 +\<up>                   code: 0x002191
   1.460 +\<Up>                   code: 0x0021d1
   1.461 +\<down>                 code: 0x002193
   1.462 +\<Down>                 code: 0x0021d3
   1.463 +\<updown>               code: 0x002195
   1.464 +\<Updown>               code: 0x0021d5
   1.465 +\<langle>               code: 0x0027e8  abbrev: <.
   1.466 +\<rangle>               code: 0x0027e9  abbrev: .>
   1.467 +\<lceil>                code: 0x002308
   1.468 +\<rceil>                code: 0x002309
   1.469 +\<lfloor>               code: 0x00230a
   1.470 +\<rfloor>               code: 0x00230b
   1.471 +\<lparr>                code: 0x002987  abbrev: (|
   1.472 +\<rparr>                code: 0x002988  abbrev: |)
   1.473 +\<lbrakk>               code: 0x0027e6  abbrev: [|
   1.474 +\<rbrakk>               code: 0x0027e7  abbrev: |]
   1.475 +\<lbrace>               code: 0x002983  abbrev: {.
   1.476 +\<rbrace>               code: 0x002984  abbrev: .}
   1.477 +\<guillemotleft>        code: 0x0000ab  abbrev: <<
   1.478 +\<guillemotright>       code: 0x0000bb  abbrev: >>
   1.479 +\<bottom>               code: 0x0022a5
   1.480 +\<top>                  code: 0x0022a4
   1.481 +\<and>                  code: 0x002227  abbrev: /\
   1.482 +\<And>                  code: 0x0022c0  abbrev: !!
   1.483 +\<or>                   code: 0x002228  abbrev: \/
   1.484 +\<Or>                   code: 0x0022c1  abbrev: ??
   1.485 +\<forall>               code: 0x002200  abbrev: !
   1.486 +\<exists>               code: 0x002203  abbrev: ?
   1.487 +\<nexists>              code: 0x002204  abbrev: ~?
   1.488 +\<not>                  code: 0x0000ac  abbrev: ~
   1.489 +\<box>                  code: 0x0025a1
   1.490 +\<diamond>              code: 0x0025c7
   1.491 +\<turnstile>            code: 0x0022a2  abbrev: |-
   1.492 +\<Turnstile>            code: 0x0022a8  abbrev: |=
   1.493 +\<tturnstile>           code: 0x0022a9  abbrev: ||-
   1.494 +\<TTurnstile>           code: 0x0022ab  abbrev: ||=
   1.495 +\<stileturn>            code: 0x0022a3  abbrev: -|
   1.496 +\<surd>                 code: 0x00221a
   1.497 +\<le>                   code: 0x002264  abbrev: <=
   1.498 +\<ge>                   code: 0x002265  abbrev: >=
   1.499 +\<lless>                code: 0x00226a
   1.500 +\<ggreater>             code: 0x00226b
   1.501 +\<lesssim>              code: 0x002272
   1.502 +\<greatersim>           code: 0x002273
   1.503 +\<lessapprox>           code: 0x002a85
   1.504 +\<greaterapprox>        code: 0x002a86
   1.505 +\<in>                   code: 0x002208  abbrev: :
   1.506 +\<notin>                code: 0x002209  abbrev: ~:
   1.507 +\<subset>               code: 0x002282
   1.508 +\<supset>               code: 0x002283
   1.509 +\<subseteq>             code: 0x002286  abbrev: (=
   1.510 +\<supseteq>             code: 0x002287  abbrev: =)
   1.511 +\<sqsubset>             code: 0x00228f
   1.512 +\<sqsupset>             code: 0x002290
   1.513 +\<sqsubseteq>           code: 0x002291  abbrev: [=
   1.514 +\<sqsupseteq>           code: 0x002292  abbrev: =]
   1.515 +\<inter>                code: 0x002229  abbrev: Int
   1.516 +\<Inter>                code: 0x0022c2  abbrev: Inter
   1.517 +\<union>                code: 0x00222a  abbrev: Un
   1.518 +\<Union>                code: 0x0022c3  abbrev: Union
   1.519 +\<squnion>              code: 0x002294
   1.520 +\<Squnion>              code: 0x002a06
   1.521 +\<sqinter>              code: 0x002293
   1.522 +\<Sqinter>              code: 0x002a05
   1.523 +\<setminus>             code: 0x002216
   1.524 +\<propto>               code: 0x00221d
   1.525 +\<uplus>                code: 0x00228e
   1.526 +\<Uplus>                code: 0x002a04
   1.527 +\<noteq>                code: 0x002260  abbrev: ~=
   1.528 +\<sim>                  code: 0x00223c
   1.529 +\<doteq>                code: 0x002250
   1.530 +\<simeq>                code: 0x002243
   1.531 +\<approx>               code: 0x002248
   1.532 +\<asymp>                code: 0x00224d
   1.533 +\<cong>                 code: 0x002245
   1.534 +\<smile>                code: 0x002323
   1.535 +\<equiv>                code: 0x002261  abbrev: ==
   1.536 +\<frown>                code: 0x002322
   1.537 +\<Join>                 code: 0x0022c8
   1.538 +\<bowtie>               code: 0x002a1d
   1.539 +\<prec>                 code: 0x00227a
   1.540 +\<succ>                 code: 0x00227b
   1.541 +\<preceq>               code: 0x00227c
   1.542 +\<succeq>               code: 0x00227d
   1.543 +\<parallel>             code: 0x002225  abbrev: ||
   1.544  \<bar>                  code: 0x0000a6
   1.545 -\<plusminus>            code: 0x0000b1  font: Isabelle
   1.546 -\<minusplus>            code: 0x002213  font: Isabelle
   1.547 -\<times>                code: 0x0000d7  font: Isabelle
   1.548 -\<div>                  code: 0x0000f7  font: Isabelle
   1.549 -\<cdot>                 code: 0x0022c5  font: Isabelle
   1.550 -\<star>                 code: 0x0022c6  font: Isabelle
   1.551 -\<bullet>               code: 0x002219  font: Isabelle
   1.552 -\<circ>                 code: 0x002218  font: Isabelle
   1.553 -\<dagger>               code: 0x002020  font: Isabelle
   1.554 -\<ddagger>              code: 0x002021  font: Isabelle
   1.555 -\<lhd>                  code: 0x0022b2  font: Isabelle
   1.556 -\<rhd>                  code: 0x0022b3  font: Isabelle
   1.557 -\<unlhd>                code: 0x0022b4  font: Isabelle
   1.558 -\<unrhd>                code: 0x0022b5  font: Isabelle
   1.559 -\<triangleleft>         code: 0x0025c3  font: Isabelle
   1.560 -\<triangleright>        code: 0x0025b9  font: Isabelle
   1.561 -\<triangle>             code: 0x0025b3  font: Isabelle
   1.562 -\<triangleq>            code: 0x00225c  font: Isabelle
   1.563 -\<oplus>                code: 0x002295  font: Isabelle  abbrev: +o
   1.564 -\<Oplus>                code: 0x002a01  font: Isabelle  abbrev: +O
   1.565 -\<otimes>               code: 0x002297  font: Isabelle  abbrev: *o
   1.566 -\<Otimes>               code: 0x002a02  font: Isabelle  abbrev: *O
   1.567 -\<odot>                 code: 0x002299  font: Isabelle  abbrev: .o
   1.568 -\<Odot>                 code: 0x002a00  font: Isabelle  abbrev: .O
   1.569 -\<ominus>               code: 0x002296  font: Isabelle  abbrev: -o
   1.570 -\<oslash>               code: 0x002298  font: Isabelle  abbrev: /o
   1.571 -\<dots>                 code: 0x002026  font: Isabelle  abbrev: ...
   1.572 -\<cdots>                code: 0x0022ef  font: Isabelle
   1.573 -\<Sum>                  code: 0x002211  font: Isabelle  abbrev: SUM
   1.574 -\<Prod>                 code: 0x00220f  font: Isabelle  abbrev: PROD
   1.575 -\<Coprod>               code: 0x002210  font: Isabelle
   1.576 -\<infinity>             code: 0x00221e  font: Isabelle
   1.577 -\<integral>             code: 0x00222b  font: Isabelle
   1.578 -\<ointegral>            code: 0x00222e  font: Isabelle
   1.579 -\<clubsuit>             code: 0x002663  font: Isabelle
   1.580 -\<diamondsuit>          code: 0x002662  font: Isabelle
   1.581 -\<heartsuit>            code: 0x002661  font: Isabelle
   1.582 -\<spadesuit>            code: 0x002660  font: Isabelle
   1.583 -\<aleph>                code: 0x002135  font: Isabelle
   1.584 -\<emptyset>             code: 0x002205  font: Isabelle
   1.585 -\<nabla>                code: 0x002207  font: Isabelle
   1.586 -\<partial>              code: 0x002202  font: Isabelle
   1.587 -\<Re>                   code: 0x00211c  font: Isabelle
   1.588 -\<Im>                   code: 0x002111  font: Isabelle
   1.589 -\<flat>                 code: 0x00266d  font: Isabelle
   1.590 -\<natural>              code: 0x00266e  font: Isabelle
   1.591 -\<sharp>                code: 0x00266f  font: Isabelle
   1.592 -\<angle>                code: 0x002220  font: Isabelle
   1.593 -\<copyright>            code: 0x0000a9  font: Isabelle
   1.594 -\<registered>           code: 0x0000ae  font: Isabelle
   1.595 +\<plusminus>            code: 0x0000b1
   1.596 +\<minusplus>            code: 0x002213
   1.597 +\<times>                code: 0x0000d7
   1.598 +\<div>                  code: 0x0000f7
   1.599 +\<cdot>                 code: 0x0022c5
   1.600 +\<star>                 code: 0x0022c6
   1.601 +\<bullet>               code: 0x002219
   1.602 +\<circ>                 code: 0x002218
   1.603 +\<dagger>               code: 0x002020
   1.604 +\<ddagger>              code: 0x002021
   1.605 +\<lhd>                  code: 0x0022b2
   1.606 +\<rhd>                  code: 0x0022b3
   1.607 +\<unlhd>                code: 0x0022b4
   1.608 +\<unrhd>                code: 0x0022b5
   1.609 +\<triangleleft>         code: 0x0025c3
   1.610 +\<triangleright>        code: 0x0025b9
   1.611 +\<triangle>             code: 0x0025b3
   1.612 +\<triangleq>            code: 0x00225c
   1.613 +\<oplus>                code: 0x002295  abbrev: +o
   1.614 +\<Oplus>                code: 0x002a01  abbrev: +O
   1.615 +\<otimes>               code: 0x002297  abbrev: *o
   1.616 +\<Otimes>               code: 0x002a02  abbrev: *O
   1.617 +\<odot>                 code: 0x002299  abbrev: .o
   1.618 +\<Odot>                 code: 0x002a00  abbrev: .O
   1.619 +\<ominus>               code: 0x002296  abbrev: -o
   1.620 +\<oslash>               code: 0x002298  abbrev: /o
   1.621 +\<dots>                 code: 0x002026  abbrev: ...
   1.622 +\<cdots>                code: 0x0022ef
   1.623 +\<Sum>                  code: 0x002211  abbrev: SUM
   1.624 +\<Prod>                 code: 0x00220f  abbrev: PROD
   1.625 +\<Coprod>               code: 0x002210
   1.626 +\<infinity>             code: 0x00221e
   1.627 +\<integral>             code: 0x00222b
   1.628 +\<ointegral>            code: 0x00222e
   1.629 +\<clubsuit>             code: 0x002663
   1.630 +\<diamondsuit>          code: 0x002662
   1.631 +\<heartsuit>            code: 0x002661
   1.632 +\<spadesuit>            code: 0x002660
   1.633 +\<aleph>                code: 0x002135
   1.634 +\<emptyset>             code: 0x002205
   1.635 +\<nabla>                code: 0x002207
   1.636 +\<partial>              code: 0x002202
   1.637 +\<Re>                   code: 0x00211c
   1.638 +\<Im>                   code: 0x002111
   1.639 +\<flat>                 code: 0x00266d
   1.640 +\<natural>              code: 0x00266e
   1.641 +\<sharp>                code: 0x00266f
   1.642 +\<angle>                code: 0x002220
   1.643 +\<copyright>            code: 0x0000a9
   1.644 +\<registered>           code: 0x0000ae
   1.645  \<hyphen>               code: 0x0000ad
   1.646  \<inverse>              code: 0x0000af
   1.647  \<onesuperior>          code: 0x0000b9
   1.648 @@ -339,20 +339,20 @@
   1.649  \<yen>                  code: 0x0000a5
   1.650  \<cent>                 code: 0x0000a2
   1.651  \<currency>             code: 0x0000a4
   1.652 -\<degree>               code: 0x0000b0  font: Isabelle
   1.653 -\<amalg>                code: 0x002a3f  font: Isabelle
   1.654 -\<mho>                  code: 0x002127  font: Isabelle
   1.655 -\<lozenge>              code: 0x0025ca  font: Isabelle
   1.656 -\<wp>                   code: 0x002118  font: Isabelle
   1.657 -\<wrong>                code: 0x002240  font: Isabelle
   1.658 -\<struct>               code: 0x0022c4  font: Isabelle
   1.659 +\<degree>               code: 0x0000b0
   1.660 +\<amalg>                code: 0x002a3f
   1.661 +\<mho>                  code: 0x002127
   1.662 +\<lozenge>              code: 0x0025ca
   1.663 +\<wp>                   code: 0x002118
   1.664 +\<wrong>                code: 0x002240
   1.665 +\<struct>               code: 0x0022c4
   1.666  \<acute>                code: 0x0000b4
   1.667 -\<index>                code: 0x000131  font: Isabelle
   1.668 +\<index>                code: 0x000131
   1.669  \<dieresis>             code: 0x0000a8
   1.670  \<cedilla>              code: 0x0000b8
   1.671  \<hungarumlaut>         code: 0x0002dd
   1.672 -\<spacespace>           code: 0x002423  font: Isabelle
   1.673 -\<some>                 code: 0x0003f5  font: Isabelle
   1.674 +\<spacespace>           code: 0x002423
   1.675 +\<some>                 code: 0x0003f5
   1.676  \<^sub>                 code: 0x0021e9  abbrev: =_
   1.677  \<^sup>                 code: 0x0021e7  abbrev: =^
   1.678  \<^isub>                code: 0x0021e3  abbrev: -_