author  wenzelm 
Thu, 17 Jul 1997 15:03:38 +0200  
changeset 3524  c02cb15830de 
parent 3068  b7562e452816 
child 6281  25d41c118304 
permissions  rwrr 
2864  1 
# 
2 
# $Id$ 

3 
# 

4 
# The isabelle0 encoding table. 

5 
# 

6 

3068
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

7 
#145: 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

8 
# 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

9 
#lless 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

10 
#unlhd 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

11 
#lhd 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

12 
#rhd 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

13 
#tturnstile 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

14 
#langle 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

15 
#rangle 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

16 
#orelse 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

17 
#top 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

18 
#Or 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

19 
#ocdot 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

20 
#iota 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

21 
#upsilon 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

22 
#Upsilon 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

23 
#Xi 
3064  24 

3068
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

25 
160: 
b7562e452816
deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents:
3067
diff
changeset

26 

3064  27 
space2 
2864  28 
Gamma 
29 
Delta 

30 
Theta 

31 
Lambda 

32 
Pi 

33 
Sigma 

34 
Phi 

35 
Psi 

36 
Omega 

37 
alpha 

38 
beta 

39 
gamma 

40 
delta 

41 
epsilon 

42 
zeta 

43 
eta 

44 
theta 

45 
kappa 

46 
lambda 

47 
mu 

48 
nu 

49 
xi 

50 
pi 

51 
rho 

52 
sigma 

53 
tau 

54 
phi 

55 
chi 

56 
psi 

57 
omega 

58 
not 

59 
and 

60 
or 

61 
forall 

62 
exists 

63 
And 

3064  64 
lceil 
65 
rceil 

66 
lfloor 

67 
rfloor 

2864  68 
turnstile 
69 
Turnstile 

70 
lbrakk 

71 
rbrakk 

72 
cdot 

73 
in 

74 
subseteq 

75 
inter 

76 
union 

77 
Inter 

78 
Union 

79 
sqinter 

80 
squnion 

81 
Sqinter 

82 
Squnion 

83 
bottom 

84 
doteq 

85 
equiv 

86 
noteq 

87 
sqsubset 

88 
sqsubseteq 

89 
prec 

90 
preceq 

91 
succ 

92 
approx 

93 
sim 

94 
simeq 

95 
le 

96 
Colon 

97 
leftarrow 

98 
midarrow 

99 
rightarrow 

100 
Leftarrow 

101 
Midarrow 

102 
Rightarrow 

103 
bow 

104 
mapsto 

105 
leadsto 

106 
up 

107 
down 

108 
notin 

109 
times 

110 
oplus 

111 
ominus 

112 
otimes 

113 
oslash 

114 
subset 

115 
infinity 

116 
box 

117 
diamond 

118 
circ 

119 
bullet 

120 
parallel 

121 
surd 

122 
copyright 