| changeset 2864 | 103bd2dc33b0 |
| child 2944 | 283e31f6a4be |
| 2863:d97f5f424b97 | 2864:103bd2dc33b0 |
|---|---|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 # The isabelle-0 encoding table. |
|
5 # |
|
6 |
|
7 161-255: |
|
8 |
|
9 Gamma |
|
10 Delta |
|
11 Theta |
|
12 Lambda |
|
13 Pi |
|
14 Sigma |
|
15 Phi |
|
16 Psi |
|
17 Omega |
|
18 alpha |
|
19 beta |
|
20 gamma |
|
21 delta |
|
22 epsilon |
|
23 zeta |
|
24 eta |
|
25 theta |
|
26 kappa |
|
27 lambda |
|
28 mu |
|
29 nu |
|
30 xi |
|
31 pi |
|
32 rho |
|
33 sigma |
|
34 tau |
|
35 phi |
|
36 chi |
|
37 psi |
|
38 omega |
|
39 not |
|
40 and |
|
41 or |
|
42 forall |
|
43 exists |
|
44 And |
|
45 lceil |
|
46 rceil |
|
47 lfloor |
|
48 rfloor |
|
49 turnstile |
|
50 Turnstile |
|
51 lbrakk |
|
52 rbrakk |
|
53 cdot |
|
54 in |
|
55 subseteq |
|
56 inter |
|
57 union |
|
58 Inter |
|
59 Union |
|
60 sqinter |
|
61 squnion |
|
62 Sqinter |
|
63 Squnion |
|
64 bottom |
|
65 doteq |
|
66 equiv |
|
67 noteq |
|
68 sqsubset |
|
69 sqsubseteq |
|
70 prec |
|
71 preceq |
|
72 succ |
|
73 approx |
|
74 sim |
|
75 simeq |
|
76 le |
|
77 Colon |
|
78 leftarrow |
|
79 midarrow |
|
80 rightarrow |
|
81 Leftarrow |
|
82 Midarrow |
|
83 Rightarrow |
|
84 bow |
|
85 mapsto |
|
86 leadsto |
|
87 up |
|
88 down |
|
89 notin |
|
90 times |
|
91 oplus |
|
92 ominus |
|
93 otimes |
|
94 oslash |
|
95 subset |
|
96 infinity |
|
97 box |
|
98 diamond |
|
99 circ |
|
100 bullet |
|
101 parallel |
|
102 surd |
|
103 copyright |