lib/encodings/isabelle-0
author wenzelm
Tue, 29 Apr 1997 17:38:02 +0200
changeset 3068 b7562e452816
parent 3067 4d501db6ebed
child 6281 25d41c118304
permissions -rw-r--r--
deactivated new symbols (not yet printable on xterm, emacs);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     1
#
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     2
# $Id$
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     3
#
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     4
# The isabelle-0 encoding table.
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     5
#
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     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
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    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
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    27
space2
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    28
Gamma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    29
Delta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    30
Theta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    31
Lambda
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    32
Pi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    33
Sigma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    34
Phi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    35
Psi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    36
Omega
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    37
alpha
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    38
beta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    39
gamma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    40
delta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    41
epsilon
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    42
zeta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    43
eta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    44
theta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    45
kappa
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    46
lambda
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    47
mu
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    48
nu
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    49
xi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    50
pi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    51
rho
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    52
sigma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    53
tau
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    54
phi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    55
chi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    56
psi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    57
omega
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    58
not
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    59
and
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    60
or
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    61
forall
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    62
exists
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    63
And
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    64
lceil
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    65
rceil
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    66
lfloor
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    67
rfloor
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    68
turnstile
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    69
Turnstile
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    70
lbrakk
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    71
rbrakk
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    72
cdot
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    73
in
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    74
subseteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    75
inter
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    76
union
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    77
Inter
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    78
Union
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    79
sqinter
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    80
squnion
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    81
Sqinter
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    82
Squnion
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    83
bottom
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    84
doteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    85
equiv
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    86
noteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    87
sqsubset
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    88
sqsubseteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    89
prec
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    90
preceq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    91
succ
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    92
approx
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    93
sim
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    94
simeq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    95
le
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    96
Colon
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    97
leftarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    98
midarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    99
rightarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   100
Leftarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   101
Midarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   102
Rightarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   103
bow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   104
mapsto
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   105
leadsto
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   106
up
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   107
down
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   108
notin
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   109
times
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   110
oplus
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   111
ominus
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   112
otimes
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   113
oslash
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   114
subset
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   115
infinity
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   116
box
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   117
diamond
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   118
circ
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   119
bullet
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   120
parallel
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   121
surd
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   122
copyright