2864

1 
#


2 
# $Id$


3 
#


4 
# The isabelle0 encoding table.


5 
#


6 

2944

7 
161:

2864

8 
Gamma


9 
Delta


10 
Theta


11 
Lambda


12 
Pi


13 
Sigma


14 
Phi


15 
Psi


16 
Omega


17 
alpha


18 
beta


19 
gamma


20 
delta


21 
epsilon


22 
zeta


23 
eta


24 
theta


25 
kappa


26 
lambda


27 
mu


28 
nu


29 
xi


30 
pi


31 
rho


32 
sigma


33 
tau


34 
phi


35 
chi


36 
psi


37 
omega


38 
not


39 
and


40 
or


41 
forall


42 
exists


43 
And

2967

44 


45 
#lceil


46 
#rceil


47 
#lfloor


48 
#rfloor


49 


50 
201:

2864

51 
turnstile


52 
Turnstile


53 
lbrakk


54 
rbrakk


55 
cdot


56 
in


57 
subseteq


58 
inter


59 
union


60 
Inter


61 
Union


62 
sqinter


63 
squnion


64 
Sqinter


65 
Squnion


66 
bottom


67 
doteq


68 
equiv


69 
noteq


70 
sqsubset


71 
sqsubseteq


72 
prec


73 
preceq


74 
succ


75 
approx


76 
sim


77 
simeq


78 
le


79 
Colon


80 
leftarrow


81 
midarrow


82 
rightarrow


83 
Leftarrow


84 
Midarrow


85 
Rightarrow


86 
bow


87 
mapsto


88 
leadsto


89 
up


90 
down


91 
notin


92 
times


93 
oplus


94 
ominus


95 
otimes


96 
oslash


97 
subset


98 
infinity


99 
box


100 
diamond


101 
circ


102 
bullet


103 
parallel


104 
surd


105 
copyright
