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 font: Isabelle
15 \<B> code: 0x00212c font: Isabelle
16 \<C> code: 0x01d49e font: Isabelle
17 \<D> code: 0x01d49f font: Isabelle
18 \<E> code: 0x002130 font: Isabelle
19 \<F> code: 0x002131 font: Isabelle
20 \<G> code: 0x01d4a2 font: Isabelle
21 \<H> code: 0x00210b font: Isabelle
22 \<I> code: 0x002110 font: Isabelle
23 \<J> code: 0x01d4a5 font: Isabelle
24 \<K> code: 0x01d4a6 font: Isabelle
25 \<L> code: 0x002112 font: Isabelle
26 \<M> code: 0x002133 font: Isabelle
27 \<N> code: 0x01d4a9 font: Isabelle
28 \<O> code: 0x01d4aa font: Isabelle
29 \<P> code: 0x01d4ab font: Isabelle
30 \<Q> code: 0x01d4ac font: Isabelle
31 \<R> code: 0x00211b font: Isabelle
32 \<S> code: 0x01d4ae font: Isabelle
33 \<T> code: 0x01d4af font: Isabelle
34 \<U> code: 0x01d4b0 font: Isabelle
35 \<V> code: 0x01d4b1 font: Isabelle
36 \<W> code: 0x01d4b2 font: Isabelle
37 \<X> code: 0x01d4b3 font: Isabelle
38 \<Y> code: 0x01d4b4 font: Isabelle
39 \<Z> code: 0x01d4b5 font: Isabelle
40 \<a> code: 0x01d5ba font: Isabelle
41 \<b> code: 0x01d5bb font: Isabelle
42 \<c> code: 0x01d5bc font: Isabelle
43 \<d> code: 0x01d5bd font: Isabelle
44 \<e> code: 0x01d5be font: Isabelle
45 \<f> code: 0x01d5bf font: Isabelle
46 \<g> code: 0x01d5c0 font: Isabelle
47 \<h> code: 0x01d5c1 font: Isabelle
48 \<i> code: 0x01d5c2 font: Isabelle
49 \<j> code: 0x01d5c3 font: Isabelle
50 \<k> code: 0x01d5c4 font: Isabelle
51 \<l> code: 0x01d5c5 font: Isabelle
52 \<m> code: 0x01d5c6 font: Isabelle
53 \<n> code: 0x01d5c7 font: Isabelle
54 \<o> code: 0x01d5c8 font: Isabelle
55 \<p> code: 0x01d5c9 font: Isabelle
56 \<q> code: 0x01d5ca font: Isabelle
57 \<r> code: 0x01d5cb font: Isabelle
58 \<s> code: 0x01d5cc font: Isabelle
59 \<t> code: 0x01d5cd font: Isabelle
60 \<u> code: 0x01d5ce font: Isabelle
61 \<v> code: 0x01d5cf font: Isabelle
62 \<w> code: 0x01d5d0 font: Isabelle
63 \<x> code: 0x01d5d1 font: Isabelle
64 \<y> code: 0x01d5d2 font: Isabelle
65 \<z> code: 0x01d5d3 font: Isabelle
66 \<AA> code: 0x01d504 font: Isabelle
67 \<BB> code: 0x01d505 font: Isabelle
68 \<CC> code: 0x00212d font: Isabelle
69 \<DD> code: 0x01d507 font: Isabelle
70 \<EE> code: 0x01d508 font: Isabelle
71 \<FF> code: 0x01d509 font: Isabelle
72 \<GG> code: 0x01d50a font: Isabelle
73 \<HH> code: 0x00210c font: Isabelle
74 #\<II> code: 0x01d50c font: Isabelle
75 \<JJ> code: 0x01d50d font: Isabelle
76 \<KK> code: 0x01d50e font: Isabelle
77 \<LL> code: 0x01d50f font: Isabelle
78 \<MM> code: 0x01d510 font: Isabelle
79 \<NN> code: 0x01d511 font: Isabelle
80 \<OO> code: 0x01d512 font: Isabelle
81 \<PP> code: 0x01d513 font: Isabelle
82 \<QQ> code: 0x01d514 font: Isabelle
83 #\<RR> code: 0x01d515 font: Isabelle
84 \<SS> code: 0x01d516 font: Isabelle
85 \<TT> code: 0x01d517 font: Isabelle
86 \<UU> code: 0x01d518 font: Isabelle
87 \<VV> code: 0x01d519 font: Isabelle
88 \<WW> code: 0x01d51a font: Isabelle
89 \<XX> code: 0x01d51b font: Isabelle
90 \<YY> code: 0x01d51c font: Isabelle
91 \<ZZ> code: 0x002128 font: Isabelle
92 \<aa> code: 0x01d51e font: Isabelle
93 \<bb> code: 0x01d51f font: Isabelle
94 \<cc> code: 0x01d520 font: Isabelle
95 \<dd> code: 0x01d521 font: Isabelle
96 \<ee> code: 0x01d522 font: Isabelle
97 \<ff> code: 0x01d523 font: Isabelle
98 \<gg> code: 0x01d524 font: Isabelle
99 \<hh> code: 0x01d525 font: Isabelle
100 \<ii> code: 0x01d526 font: Isabelle
101 \<jj> code: 0x01d527 font: Isabelle
102 \<kk> code: 0x01d528 font: Isabelle
103 \<ll> code: 0x01d529 font: Isabelle
104 \<mm> code: 0x01d52a font: Isabelle
105 \<nn> code: 0x01d52b font: Isabelle
106 \<oo> code: 0x01d52c font: Isabelle
107 \<pp> code: 0x01d52d font: Isabelle
108 \<qq> code: 0x01d52e font: Isabelle
109 \<rr> code: 0x01d52f font: Isabelle
110 \<ss> code: 0x01d530 font: Isabelle
111 \<tt> code: 0x01d531 font: Isabelle
112 \<uu> code: 0x01d532 font: Isabelle
113 \<vv> code: 0x01d533 font: Isabelle
114 \<ww> code: 0x01d534 font: Isabelle
115 \<xx> code: 0x01d535 font: Isabelle
116 \<yy> code: 0x01d536 font: Isabelle
117 \<zz> code: 0x01d537 font: Isabelle
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