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