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