lib/encodings/isabelle-0
author wenzelm
Tue, 13 Feb 2001 16:31:18 +0100
changeset 11109 ce1cefc6c14c
parent 9960 07521b6eb888
permissions -rw-r--r--
tuned;
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$
9818
wenzelm
parents: 6281
diff changeset
     3
# Author: Markus Wenzel, TU Muenchen
wenzelm
parents: 6281
diff changeset
     4
# License: GPL (GNU GENERAL PUBLIC LICENSE)
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     5
#
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     6
# The isabelle-0 encoding table.
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     7
#
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
     8
3068
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
     9
#145:
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    10
#
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    11
#lless
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    12
#unlhd
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    13
#lhd
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    14
#rhd
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    15
#tturnstile
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    16
#langle
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    17
#rangle
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    18
#orelse
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    19
#top
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    20
#Or
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    21
#ocdot
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    22
#iota
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    23
#upsilon
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    24
#Upsilon
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    25
#Xi
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    26
3068
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    27
160:
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs);
wenzelm
parents: 3067
diff changeset
    28
6281
25d41c118304 renamed space2 to spacespace
oheimb
parents: 3068
diff changeset
    29
spacespace
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    30
Gamma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    31
Delta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    32
Theta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    33
Lambda
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    34
Pi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    35
Sigma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    36
Phi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    37
Psi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    38
Omega
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    39
alpha
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    40
beta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    41
gamma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    42
delta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    43
epsilon
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    44
zeta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    45
eta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    46
theta
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    47
kappa
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    48
lambda
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    49
mu
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    50
nu
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    51
xi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    52
pi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    53
rho
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    54
sigma
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    55
tau
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    56
phi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    57
chi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    58
psi
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    59
omega
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    60
not
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    61
and
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    62
or
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    63
forall
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    64
exists
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    65
And
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    66
lceil
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    67
rceil
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    68
lfloor
f04f93e5c0a9 added new chars;
wenzelm
parents: 2967
diff changeset
    69
rfloor
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    70
turnstile
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    71
Turnstile
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    72
lbrakk
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    73
rbrakk
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    74
cdot
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    75
in
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    76
subseteq
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
Inter
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    80
Union
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
Sqinter
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    84
Squnion
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    85
bottom
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    86
doteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    87
equiv
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    88
noteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    89
sqsubset
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    90
sqsubseteq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    91
prec
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    92
preceq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    93
succ
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    94
approx
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    95
sim
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    96
simeq
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    97
le
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    98
Colon
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
    99
leftarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   100
midarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   101
rightarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   102
Leftarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   103
Midarrow
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   104
Rightarrow
9960
07521b6eb888 renamed "bow" to "frown";
wenzelm
parents: 9818
diff changeset
   105
frown
2864
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   106
mapsto
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   107
leadsto
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   108
up
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   109
down
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   110
notin
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   111
times
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   112
oplus
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   113
ominus
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   114
otimes
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   115
oslash
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   116
subset
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   117
infinity
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   118
box
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   119
diamond
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   120
circ
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   121
bullet
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   122
parallel
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   123
surd
103bd2dc33b0 The isabelle-0 encoding table.
wenzelm
parents:
diff changeset
   124
copyright