wneuper/isa: etc/symbols@c347986773eb

     1 # $Id$

     2 # Default interpretation of some Isabelle symbols

     4 \<zero>                 code: 0x01d7ec  font: Isabelle

     5 \<one>                  code: 0x01d7ed  font: Isabelle

     6 \<two>                  code: 0x01d7ee  font: Isabelle

     7 \<three>                code: 0x01d7ef  font: Isabelle

     8 \<four>                 code: 0x01d7f0  font: Isabelle

     9 \<five>                 code: 0x01d7f1  font: Isabelle

    10 \<six>                  code: 0x01d7f2  font: Isabelle

    11 \<seven>                code: 0x01d7f3  font: Isabelle

    12 \<eight>                code: 0x01d7f4  font: Isabelle

    13 \<nine>                 code: 0x01d7f5  font: Isabelle

    14 #\<A>                    code: 0x01d49c

    15 #\<B>                    code: 0x00212c

    16 #\<C>                    code: 0x01d49e

    17 #\<D>                    code: 0x01d49f

    18 #\<E>                    code: 0x002130

    19 #\<F>                    code: 0x002131

    20 #\<G>                    code: 0x01d4a2

    21 #\<H>                    code: 0x00210b

    22 #\<I>                    code: 0x002110

    23 #\<J>                    code: 0x01d4a5

    24 #\<K>                    code: 0x01d4a6

    25 #\<L>                    code: 0x002112

    26 #\<M>                    code: 0x002133

    27 #\<N>                    code: 0x01d4a9

    28 #\<O>                    code: 0x01d4aa

    29 #\<P>                    code: 0x01d4ab

    30 #\<Q>                    code: 0x01d4ac

    31 #\<R>                    code: 0x00211b

    32 #\<S>                    code: 0x01d4ae

    33 #\<T>                    code: 0x01d4af

    34 #\<U>                    code: 0x01d4b0

    35 #\<V>                    code: 0x01d4b1

    36 #\<W>                    code: 0x01d4b2

    37 #\<X>                    code: 0x01d4b3

    38 #\<Y>                    code: 0x01d4b4

    39 #\<Z>                    code: 0x01d4b5

    40 #\<a>                    code: 0x01d5ba

    41 #\<b>                    code: 0x01d5bb

    42 #\<c>                    code: 0x01d5bc

    43 #\<d>                    code: 0x01d5bd

    44 #\<e>                    code: 0x01d5be

    45 #\<f>                    code: 0x01d5bf

    46 #\<g>                    code: 0x01d5c0

    47 #\<h>                    code: 0x01d5c1

    48 #\<i>                    code: 0x01d5c2

    49 #\<j>                    code: 0x01d5c3

    50 #\<k>                    code: 0x01d5c4

    51 #\<l>                    code: 0x01d5c5

    52 #\<m>                    code: 0x01d5c6

    53 #\<n>                    code: 0x01d5c7

    54 #\<o>                    code: 0x01d5c8

    55 #\<p>                    code: 0x01d5c9

    56 #\<q>                    code: 0x01d5ca

    57 #\<r>                    code: 0x01d5cb

    58 #\<s>                    code: 0x01d5cc

    59 #\<t>                    code: 0x01d5cd

    60 #\<u>                    code: 0x01d5ce

    61 #\<v>                    code: 0x01d5cf

    62 #\<w>                    code: 0x01d5d0

    63 #\<x>                    code: 0x01d5d1

    64 #\<y>                    code: 0x01d5d2

    65 #\<z>                    code: 0x01d5d3

    66 #\<AA>                   code: 0x01d504

    67 #\<BB>                   code: 0x01d505

    68 #\<CC>                   code: 0x00212d

    69 #\<DD>                   code: 0x01d507

    70 #\<EE>                   code: 0x01d508

    71 #\<FF>                   code: 0x01d509

    72 #\<GG>                   code: 0x01d50a

    73 #\<HH>                   code: 0x00210c

    74 #\<II>                   code: 0x002111

    75 #\<JJ>                   code: 0x01d50d

    76 #\<KK>                   code: 0x01d50e

    77 #\<LL>                   code: 0x01d50f

    78 #\<MM>                   code: 0x01d510

    79 #\<NN>                   code: 0x01d511

    80 #\<OO>                   code: 0x01d512

    81 #\<PP>                   code: 0x01d513

    82 #\<QQ>                   code: 0x01d514

    83 #\<RR>                   code: 0x00211c

    84 #\<SS>                   code: 0x01d516

    85 #\<TT>                   code: 0x01d517

    86 #\<UU>                   code: 0x01d518

    87 #\<VV>                   code: 0x01d519

    88 #\<WW>                   code: 0x01d51a

    89 #\<XX>                   code: 0x01d51b

    90 #\<YY>                   code: 0x01d51c

    91 #\<ZZ>                   code: 0x002128

    92 #\<aa>                   code: 0x01d51e

    93 #\<bb>                   code: 0x01d51f

    94 #\<cc>                   code: 0x01d520

    95 #\<dd>                   code: 0x01d521

    96 #\<ee>                   code: 0x01d522

    97 #\<ff>                   code: 0x01d523

    98 #\<gg>                   code: 0x01d524

    99 #\<hh>                   code: 0x01d525

   100 #\<ii>                   code: 0x01d526

   101 #\<jj>                   code: 0x01d527

   102 #\<kk>                   code: 0x01d528

   103 #\<ll>                   code: 0x01d529

   104 #\<mm>                   code: 0x01d52a

   105 #\<nn>                   code: 0x01d52b

   106 #\<oo>                   code: 0x01d52c

   107 #\<pp>                   code: 0x01d52d

   108 #\<qq>                   code: 0x01d52e

   109 #\<rr>                   code: 0x01d52f

   110 #\<ss>                   code: 0x01d530

   111 #\<tt>                   code: 0x01d531

   112 #\<uu>                   code: 0x01d532

   113 #\<vv>                   code: 0x01d533

   114 #\<ww>                   code: 0x01d534

   115 #\<xx>                   code: 0x01d535

   116 #\<yy>                   code: 0x01d536

   117 #\<zz>                   code: 0x01d537

   118 \<alpha>                code: 0x0003b1  font: Isabelle

   119 \<beta>                 code: 0x0003b2  font: Isabelle

   120 \<gamma>                code: 0x0003b3  font: Isabelle

   121 \<delta>                code: 0x0003b4  font: Isabelle

   122 \<epsilon>              code: 0x0003b5  font: Isabelle

   123 \<zeta>                 code: 0x0003b6  font: Isabelle

   124 \<eta>                  code: 0x0003b7  font: Isabelle

   125 \<theta>                code: 0x0003b8  font: Isabelle

   126 \<iota>                 code: 0x0003b9  font: Isabelle

   127 \<kappa>                code: 0x0003ba  font: Isabelle

   128 \<lambda>               code: 0x0003bb  font: Isabelle

   129 \<mu>                   code: 0x0003bc  font: Isabelle

   130 \<nu>                   code: 0x0003bd  font: Isabelle

   131 \<xi>                   code: 0x0003be  font: Isabelle

   132 \<pi>                   code: 0x0003c0  font: Isabelle

   133 \<rho>                  code: 0x0003c1  font: Isabelle

   134 \<sigma>                code: 0x0003c3  font: Isabelle

   135 \<tau>                  code: 0x0003c4  font: Isabelle

   136 \<upsilon>              code: 0x0003c5  font: Isabelle

   137 \<phi>                  code: 0x0003c6  font: Isabelle

   138 \<chi>                  code: 0x0003c7  font: Isabelle

   139 \<psi>                  code: 0x0003c8  font: Isabelle

   140 \<omega>                code: 0x0003c9  font: Isabelle

   141 \<Gamma>                code: 0x000393  font: Isabelle

   142 \<Delta>                code: 0x000394  font: Isabelle

   143 \<Theta>                code: 0x000398  font: Isabelle

   144 \<Lambda>               code: 0x00039b  font: Isabelle

   145 \<Xi>                   code: 0x00039e  font: Isabelle

   146 \<Pi>                   code: 0x0003a0  font: Isabelle

   147 \<Sigma>                code: 0x0003a3  font: Isabelle

   148 \<Upsilon>              code: 0x0003a5  font: Isabelle

   149 \<Phi>                  code: 0x0003a6  font: Isabelle

   150 \<Psi>                  code: 0x0003a8  font: Isabelle

   151 \<Omega>                code: 0x0003a9  font: Isabelle

   152 \<bool>                 code: 0x01d539  font: Isabelle

   153 \<complex>              code: 0x002102  font: Isabelle

   154 \<nat>                  code: 0x002115  font: Isabelle

   155 \<rat>                  code: 0x00211a  font: Isabelle

   156 \<real>                 code: 0x00211d  font: Isabelle

   157 \<int>                  code: 0x002124  font: Isabelle

   158 \<leftarrow>            code: 0x002190  font: Isabelle

   159 \<longleftarrow>        code: 0x0027f5  font: Isabelle

   160 \<rightarrow>           code: 0x002192  font: Isabelle  abbrev: ->

   161 \<longrightarrow>       code: 0x0027f6  font: Isabelle  abbrev: -->

   162 \<Leftarrow>            code: 0x0021d0  font: Isabelle

   163 \<Longleftarrow>        code: 0x0027f8  font: Isabelle

   164 \<Rightarrow>           code: 0x0021d2  font: Isabelle  abbrev: =>

   165 \<Longrightarrow>       code: 0x0027f9  font: Isabelle  abbrev: ==>

   166 \<leftrightarrow>       code: 0x002194  font: Isabelle  abbrev: <->

   167 \<longleftrightarrow>   code: 0x0027f7  font: Isabelle  abbrev: <-->

   168 \<Leftrightarrow>       code: 0x0021d4  font: Isabelle  abbrev: <=>

   169 \<Longleftrightarrow>   code: 0x0027fa  font: Isabelle  abbrev: <==>

   170 \<mapsto>               code: 0x0021a6  font: Isabelle  abbrev: |->

   171 \<longmapsto>           code: 0x0027fc  font: Isabelle  abbrev: |-->

   172 \<midarrow>             code: 0x002500  font: Isabelle

   173 \<Midarrow>             code: 0x002550  font: Isabelle

   174 \<hookleftarrow>        code: 0x0021a9  font: Isabelle

   175 \<hookrightarrow>       code: 0x0021aa  font: Isabelle

   176 \<leftharpoondown>      code: 0x0021bd  font: Isabelle

   177 \<rightharpoondown>     code: 0x0021c1  font: Isabelle

   178 \<leftharpoonup>        code: 0x0021bc  font: Isabelle

   179 \<rightharpoonup>       code: 0x0021c0  font: Isabelle

   180 \<rightleftharpoons>    code: 0x0021cc  font: Isabelle

   181 \<leadsto>              code: 0x00219d  font: Isabelle  abbrev: ~>

   182 \<downharpoonleft>      code: 0x0021c3  font: Isabelle

   183 \<downharpoonright>     code: 0x0021c2  font: Isabelle

   184 \<upharpoonleft>        code: 0x0021bf  font: Isabelle

   185 \<upharpoonright>       code: 0x0021be  font: Isabelle

   186 \<restriction>          code: 0x0021be  font: Isabelle

   187 \<Colon>                code: 0x002237  font: Isabelle

   188 \<up>                   code: 0x002191  font: Isabelle

   189 \<Up>                   code: 0x0021d1  font: Isabelle

   190 \<down>                 code: 0x002193  font: Isabelle

   191 \<Down>                 code: 0x0021d3  font: Isabelle

   192 \<updown>               code: 0x002195  font: Isabelle

   193 \<Updown>               code: 0x0021d5  font: Isabelle

   194 \<langle>               code: 0x0027e8  font: Isabelle  abbrev: <.

   195 \<rangle>               code: 0x0027e9  font: Isabelle  abbrev: .>

   196 \<lceil>                code: 0x002308  font: Isabelle

   197 \<rceil>                code: 0x002309  font: Isabelle

   198 \<lfloor>               code: 0x00230a  font: Isabelle

   199 \<rfloor>               code: 0x00230b  font: Isabelle

   200 \<lparr>                code: 0x002987  font: Isabelle  abbrev: (|

   201 \<rparr>                code: 0x002988  font: Isabelle  abbrev: |)

   202 \<lbrakk>               code: 0x0027e6  font: Isabelle  abbrev: [|

   203 \<rbrakk>               code: 0x0027e7  font: Isabelle  abbrev: |]

   204 \<lbrace>               code: 0x002983  font: Isabelle  abbrev: {.

   205 \<rbrace>               code: 0x002984  font: Isabelle  abbrev: .}

   206 \<guillemotleft>        code: 0x0000ab                  abbrev: <<

   207 \<guillemotright>       code: 0x0000bb                  abbrev: >>

   208 \<bottom>               code: 0x0022a5  font: Isabelle

   209 \<top>                  code: 0x0022a4  font: Isabelle

   210 \<and>                  code: 0x002227  font: Isabelle  abbrev: /\

   211 \<And>                  code: 0x0022c0  font: Isabelle  abbreb: !!

   212 \<or>                   code: 0x002228  font: Isabelle  abbrev: \/

   213 \<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??

   214 \<forall>               code: 0x002200  font: Isabelle  abbrev: !

   215 \<exists>               code: 0x002203  font: Isabelle  abbrev: ?.

   216 \<nexists>              code: 0x002204  font: Isabelle  abbrev: ?~

   217 \<not>                  code: 0x0000ac  font: Isabelle  abbrev: ~

   218 \<box>                  code: 0x0025a1  font: Isabelle

   219 \<diamond>              code: 0x0025c7  font: Isabelle

   220 \<turnstile>            code: 0x0022a2  font: Isabelle  abbrev: |-

   221 \<Turnstile>            code: 0x0022a8  font: Isabelle  abbrev: |=

   222 \<tturnstile>           code: 0x0022a9  font: Isabelle  abbrev: ||-

   223 \<TTurnstile>           code: 0x0022ab  font: Isabelle  abbrev: ||=

   224 \<stileturn>            code: 0x0022a3  font: Isabelle  abbrev: -|

   225 \<surd>                 code: 0x00221a  font: Isabelle

   226 \<le>                   code: 0x002264  font: Isabelle  abbrev: <=

   227 \<ge>                   code: 0x002265  font: Isabelle  abbrev: >=

   228 \<lless>                code: 0x00226a  font: Isabelle

   229 \<ggreater>             code: 0x00226b  font: Isabelle

   230 \<lesssim>              code: 0x002272  font: Isabelle

   231 \<greatersim>           code: 0x002273  font: Isabelle

   232 \<lessapprox>           code: 0x002a85  font: Isabelle

   233 \<greaterapprox>        code: 0x002a86  font: Isabelle

   234 \<in>                   code: 0x002208  font: Isabelle  abbrev: :

   235 \<notin>                code: 0x002209  font: Isabelle  abbrev: ~:

   236 \<subset>               code: 0x002282  font: Isabelle

   237 \<supset>               code: 0x002283  font: Isabelle

   238 \<subseteq>             code: 0x002286  font: Isabelle  abbrev: (=

   239 \<supseteq>             code: 0x002287  font: Isabelle  abbrev: =)

   240 \<sqsubset>             code: 0x00228f  font: Isabelle

   241 \<sqsupset>             code: 0x002290  font: Isabelle

   242 \<sqsubseteq>           code: 0x002291  font: Isabelle  abbrev: [=

   243 \<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: =]

   244 \<inter>                code: 0x002229  font: Isabelle  abbrev: Int

   245 \<Inter>                code: 0x0022c2  font: Isabelle  abbrev: Inter

   246 \<union>                code: 0x00222a  font: Isabelle  abbrev: Un

   247 \<Union>                code: 0x0022c3  font: Isabelle  abbrev: Union

   248 \<squnion>              code: 0x002294  font: Isabelle  abbrev: ||

   249 \<Squnion>              code: 0x002a06  font: Isabelle  abbrev: |||

   250 \<sqinter>              code: 0x002293  font: Isabelle  abbrev: &&

   251 \<Sqinter>              code: 0x002a05  font: Isabelle  abbrev: &&&

   252 \<setminus>             code: 0x002216  font: Isabelle

   253 \<propto>               code: 0x00221d  font: Isabelle

   254 \<uplus>                code: 0x00228e  font: Isabelle

   255 \<Uplus>                code: 0x002a04  font: Isabelle

   256 \<noteq>                code: 0x002260  font: Isabelle  abbrev: ~=

   257 \<sim>                  code: 0x00223c  font: Isabelle

   258 \<doteq>                code: 0x002250  font: Isabelle

   259 \<simeq>                code: 0x002243  font: Isabelle

   260 \<approx>               code: 0x002248  font: Isabelle

   261 \<asymp>                code: 0x00224d  font: Isabelle

   262 \<cong>                 code: 0x002245  font: Isabelle

   263 \<smile>                code: 0x002323  font: Isabelle

   264 \<equiv>                code: 0x002261  font: Isabelle  abbrev: ==

   265 \<frown>                code: 0x002322  font: Isabelle

   266 \<Join>                 code: 0x0022c8  font: Isabelle

   267 \<bowtie>               code: 0x002a1d  font: Isabelle

   268 \<prec>                 code: 0x00227a  font: Isabelle

   269 \<succ>                 code: 0x00227b  font: Isabelle

   270 \<preceq>               code: 0x00227c  font: Isabelle

   271 \<succeq>               code: 0x00227d  font: Isabelle

   272 \<parallel>             code: 0x002225  font: Isabelle  abbrev: ||

   273 \<bar>                  code: 0x0000a6

   274 \<plusminus>            code: 0x0000b1  font: Isabelle

   275 \<minusplus>            code: 0x002213  font: Isabelle

   276 \<times>                code: 0x0000d7  font: Isabelle

   277 \<div>                  code: 0x0000f7  font: Isabelle

   278 \<cdot>                 code: 0x0022c5  font: Isabelle

   279 \<star>                 code: 0x0022c6  font: Isabelle

   280 \<bullet>               code: 0x002219  font: Isabelle

   281 \<circ>                 code: 0x002218  font: Isabelle

   282 \<dagger>               code: 0x002020  font: Isabelle

   283 \<ddagger>              code: 0x002021  font: Isabelle

   284 \<lhd>                  code: 0x0022b2  font: Isabelle

   285 \<rhd>                  code: 0x0022b3  font: Isabelle

   286 \<unlhd>                code: 0x0022b4  font: Isabelle

   287 \<unrhd>                code: 0x0022b5  font: Isabelle

   288 \<triangleleft>         code: 0x0025c3  font: Isabelle

   289 \<triangleright>        code: 0x0025b9  font: Isabelle

   290 \<triangle>             code: 0x0025b3  font: Isabelle

   291 \<triangleq>            code: 0x00225c  font: Isabelle

   292 \<oplus>                code: 0x002295  font: Isabelle  abbrev: +o

   293 \<Oplus>                code: 0x002a01  font: Isabelle  abbrev: +O

   294 \<otimes>               code: 0x002297  font: Isabelle  abbrev: *o

   295 \<Otimes>               code: 0x002a02  font: Isabelle  abbrev: *O

   296 \<odot>                 code: 0x002299  font: Isabelle  abbrev: .o

   297 \<Odot>                 code: 0x002a00  font: Isabelle  abbrev: .O

   298 \<ominus>               code: 0x002296  font: Isabelle  abbrev: -o

   299 \<oslash>               code: 0x002298  font: Isabelle  abbrev: /o

   300 \<dots>                 code: 0x002026  font: Isabelle  abbrev: ...

   301 \<cdots>                code: 0x0022ef  font: Isabelle

   302 \<Sum>                  code: 0x002211  font: Isabelle  abbrev: SUM

   303 \<Prod>                 code: 0x00220f  font: Isabelle  abbrev: PROD

   304 \<Coprod>               code: 0x002210  font: Isabelle

   305 \<infinity>             code: 0x00221e  font: Isabelle

   306 \<integral>             code: 0x00222b  font: Isabelle

   307 \<ointegral>            code: 0x00222e  font: Isabelle

   308 \<clubsuit>             code: 0x002663  font: Isabelle

   309 \<diamondsuit>          code: 0x002662  font: Isabelle

   310 \<heartsuit>            code: 0x002661  font: Isabelle

   311 \<spadesuit>            code: 0x002660  font: Isabelle

   312 \<aleph>                code: 0x002135  font: Isabelle

   313 \<emptyset>             code: 0x002205  font: Isabelle

   314 \<nabla>                code: 0x002207  font: Isabelle

   315 \<partial>              code: 0x002202  font: Isabelle

   316 \<Re>                   code: 0x00211c  font: Isabelle

   317 \<Im>                   code: 0x002111  font: Isabelle

   318 \<flat>                 code: 0x00266d  font: Isabelle

   319 \<natural>              code: 0x00266e  font: Isabelle

   320 \<sharp>                code: 0x00266f  font: Isabelle

   321 \<angle>                code: 0x002220  font: Isabelle

   322 \<copyright>            code: 0x0000a9  font: Isabelle

   323 \<registered>           code: 0x0000ae  font: Isabelle

   324 \<hyphen>               code: 0x0000ad

   325 \<inverse>              code: 0x0000af

   326 \<onesuperior>          code: 0x0000b9

   327 \<onequarter>           code: 0x0000bc

   328 \<twosuperior>          code: 0x0000b2

   329 \<onehalf>              code: 0x0000bd

   330 \<threesuperior>        code: 0x0000b3

   331 \<threequarters>        code: 0x0000be

   332 \<ordfeminine>          code: 0x0000aa

   333 \<ordmasculine>         code: 0x0000ba

   334 \<section>              code: 0x0000a7

   335 \<paragraph>            code: 0x0000b6

   336 \<exclamdown>           code: 0x0000a1

   337 \<questiondown>         code: 0x0000bf

   338 \<euro>                 code: 0x0020ac

   339 \<pounds>               code: 0x0000a3

   340 \<yen>                  code: 0x0000a5

   341 \<cent>                 code: 0x0000a2

   342 \<currency>             code: 0x0000a4

   343 \<degree>               code: 0x0000b0  font: Isabelle

   344 \<amalg>                code: 0x002a3f  font: Isabelle

   345 \<mho>                  code: 0x002127  font: Isabelle

   346 \<lozenge>              code: 0x0025ca  font: Isabelle

   347 \<wp>                   code: 0x002118  font: Isabelle

   348 \<wrong>                code: 0x002240  font: Isabelle

   349 \<struct>               code: 0x0022c4  font: Isabelle

   350 \<acute>                code: 0x0000b4

   351 \<index>                code: 0x000131  font: Isabelle

   352 \<dieresis>             code: 0x0000a8

   353 \<cedilla>              code: 0x0000b8

   354 \<hungarumlaut>         code: 0x0002dd

   355 \<spacespace>           code: 0x002423  font: Isabelle

   356 \<some>                 code: 0x0003f5  font: Isabelle

author	wenzelm
	Sat, 16 Aug 2008 13:31:56 +0200
changeset 27913	c347986773eb
parent 27900	fdd6e68e29d9
child 27980	5b2c58ab152f
permissions	-rw-r--r--