|
27898
|
1 |
# $Id$
|
|
|
2 |
# Default interpretation of some Isabelle symbols
|
|
|
3 |
|
|
27899
|
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
|
|
|
161 |
\<longrightarrow> code: 0x0027f6 font: Isabelle
|
|
|
162 |
\<Leftarrow> code: 0x0021d0 font: Isabelle
|
|
|
163 |
\<Longleftarrow> code: 0x0027f8 font: Isabelle
|
|
|
164 |
\<Rightarrow> code: 0x0021d2 font: Isabelle
|
|
|
165 |
\<Longrightarrow> code: 0x0027f9 font: Isabelle
|
|
|
166 |
\<leftrightarrow> code: 0x002194 font: Isabelle
|
|
|
167 |
\<longleftrightarrow> code: 0x0027f7 font: Isabelle
|
|
|
168 |
\<Leftrightarrow> code: 0x0021d4 font: Isabelle
|
|
|
169 |
\<Longleftrightarrow> code: 0x0027fa font: Isabelle
|
|
|
170 |
\<mapsto> code: 0x0021a6 font: Isabelle
|
|
|
171 |
\<longmapsto> code: 0x0027fc font: Isabelle
|
|
|
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
|
|
|
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
|
|
|
195 |
\<rangle> code: 0x0027e9 font: Isabelle
|
|
|
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
|
|
|
201 |
\<rparr> code: 0x002988 font: Isabelle
|
|
|
202 |
\<lbrakk> code: 0x0027e6 font: Isabelle
|
|
|
203 |
\<rbrakk> code: 0x0027e7 font: Isabelle
|
|
|
204 |
\<lbrace> code: 0x002983 font: Isabelle
|
|
|
205 |
\<rbrace> code: 0x002984 font: Isabelle
|
|
|
206 |
\<guillemotleft> code: 0x0000ab
|
|
|
207 |
\<guillemotright> code: 0x0000bb
|
|
|
208 |
\<bottom> code: 0x0022a5 font: Isabelle
|
|
|
209 |
\<top> code: 0x0022a4 font: Isabelle
|
|
|
210 |
\<and> code: 0x002227 font: Isabelle
|
|
|
211 |
\<And> code: 0x0022c0 font: Isabelle
|
|
|
212 |
\<or> code: 0x002228 font: Isabelle
|
|
|
213 |
\<Or> code: 0x0022c1 font: Isabelle
|
|
|
214 |
\<forall> code: 0x002200 font: Isabelle
|
|
|
215 |
\<exists> code: 0x002203 font: Isabelle
|
|
|
216 |
\<nexists> code: 0x002204 font: Isabelle
|
|
|
217 |
\<not> code: 0x0000ac font: Isabelle
|
|
|
218 |
\<box> code: 0x0025a1 font: Isabelle
|
|
|
219 |
\<diamond> code: 0x0025c7 font: Isabelle
|
|
|
220 |
\<turnstile> code: 0x0022a2 font: Isabelle
|
|
|
221 |
\<Turnstile> code: 0x0022a8 font: Isabelle
|
|
|
222 |
\<tturnstile> code: 0x0022a9 font: Isabelle
|
|
|
223 |
\<TTurnstile> code: 0x0022ab font: Isabelle
|
|
|
224 |
\<stileturn> code: 0x0022a3 font: Isabelle
|
|
|
225 |
\<surd> code: 0x00221a font: Isabelle
|
|
|
226 |
\<le> code: 0x002264 font: Isabelle
|
|
|
227 |
\<ge> code: 0x002265 font: Isabelle
|
|
|
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
|
|
|
235 |
\<notin> code: 0x002209 font: Isabelle
|
|
|
236 |
\<subset> code: 0x002282 font: Isabelle
|
|
|
237 |
\<supset> code: 0x002283 font: Isabelle
|
|
|
238 |
\<subseteq> code: 0x002286 font: Isabelle
|
|
|
239 |
\<supseteq> code: 0x002287 font: Isabelle
|
|
|
240 |
\<sqsubset> code: 0x00228f font: Isabelle
|
|
|
241 |
\<sqsupset> code: 0x002290 font: Isabelle
|
|
|
242 |
\<sqsubseteq> code: 0x002291 font: Isabelle
|
|
|
243 |
\<sqsupseteq> code: 0x002292 font: Isabelle
|
|
|
244 |
\<inter> code: 0x002229 font: Isabelle
|
|
|
245 |
\<Inter> code: 0x0022c2 font: Isabelle
|
|
|
246 |
\<union> code: 0x00222a font: Isabelle
|
|
|
247 |
\<Union> code: 0x0022c3 font: Isabelle
|
|
|
248 |
\<squnion> code: 0x002294 font: Isabelle
|
|
|
249 |
\<Squnion> code: 0x002a06 font: Isabelle
|
|
|
250 |
\<sqinter> code: 0x002293 font: Isabelle
|
|
|
251 |
\<Sqinter> code: 0x002a05 font: Isabelle
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
293 |
\<Oplus> code: 0x002a01 font: Isabelle
|
|
|
294 |
\<otimes> code: 0x002297 font: Isabelle
|
|
|
295 |
\<Otimes> code: 0x002a02 font: Isabelle
|
|
|
296 |
\<odot> code: 0x002299 font: Isabelle
|
|
|
297 |
\<Odot> code: 0x002a00 font: Isabelle
|
|
|
298 |
\<ominus> code: 0x002296 font: Isabelle
|
|
|
299 |
\<oslash> code: 0x002298 font: Isabelle
|
|
|
300 |
\<dots> code: 0x002026 font: Isabelle
|
|
|
301 |
\<cdots> code: 0x0022ef font: Isabelle
|
|
|
302 |
\<Sum> code: 0x002211 font: Isabelle
|
|
|
303 |
\<Prod> code: 0x00220f font: Isabelle
|
|
|
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 font: Isabelle
|
|
|
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
|
|
27898
|
357 |
|