lib/encodings/isabelle-0
author wenzelm
Tue Apr 29 16:39:13 1997 +0200 (1997-04-29)
changeset 3064 f04f93e5c0a9
parent 2967 89db5eedecab
child 3067 4d501db6ebed
permissions -rw-r--r--
added new chars;
wenzelm@2864
     1
#
wenzelm@2864
     2
# $Id$
wenzelm@2864
     3
#
wenzelm@2864
     4
# The isabelle-0 encoding table.
wenzelm@2864
     5
#
wenzelm@2864
     6
wenzelm@3064
     7
145:
wenzelm@3064
     8
wenzelm@3064
     9
lless
wenzelm@3064
    10
unlhd
wenzelm@3064
    11
lhd
wenzelm@3064
    12
rhd
wenzelm@3064
    13
tturnstile
wenzelm@3064
    14
langle
wenzelm@3064
    15
rangle
wenzelm@3064
    16
choice
wenzelm@3064
    17
top
wenzelm@3064
    18
Or
wenzelm@3064
    19
ocdot
wenzelm@3064
    20
iota
wenzelm@3064
    21
upsilon
wenzelm@3064
    22
Upsilon
wenzelm@3064
    23
Xi
wenzelm@3064
    24
space2
wenzelm@2864
    25
Gamma
wenzelm@2864
    26
Delta
wenzelm@2864
    27
Theta
wenzelm@2864
    28
Lambda
wenzelm@2864
    29
Pi
wenzelm@2864
    30
Sigma
wenzelm@2864
    31
Phi
wenzelm@2864
    32
Psi
wenzelm@2864
    33
Omega
wenzelm@2864
    34
alpha
wenzelm@2864
    35
beta
wenzelm@2864
    36
gamma
wenzelm@2864
    37
delta
wenzelm@2864
    38
epsilon
wenzelm@2864
    39
zeta
wenzelm@2864
    40
eta
wenzelm@2864
    41
theta
wenzelm@2864
    42
kappa
wenzelm@2864
    43
lambda
wenzelm@2864
    44
mu
wenzelm@2864
    45
nu
wenzelm@2864
    46
xi
wenzelm@2864
    47
pi
wenzelm@2864
    48
rho
wenzelm@2864
    49
sigma
wenzelm@2864
    50
tau
wenzelm@2864
    51
phi
wenzelm@2864
    52
chi
wenzelm@2864
    53
psi
wenzelm@2864
    54
omega
wenzelm@2864
    55
not
wenzelm@2864
    56
and
wenzelm@2864
    57
or
wenzelm@2864
    58
forall
wenzelm@2864
    59
exists
wenzelm@2864
    60
And
wenzelm@3064
    61
lceil
wenzelm@3064
    62
rceil
wenzelm@3064
    63
lfloor
wenzelm@3064
    64
rfloor
wenzelm@2864
    65
turnstile
wenzelm@2864
    66
Turnstile
wenzelm@2864
    67
lbrakk
wenzelm@2864
    68
rbrakk
wenzelm@2864
    69
cdot
wenzelm@2864
    70
in
wenzelm@2864
    71
subseteq
wenzelm@2864
    72
inter
wenzelm@2864
    73
union
wenzelm@2864
    74
Inter
wenzelm@2864
    75
Union
wenzelm@2864
    76
sqinter
wenzelm@2864
    77
squnion
wenzelm@2864
    78
Sqinter
wenzelm@2864
    79
Squnion
wenzelm@2864
    80
bottom
wenzelm@2864
    81
doteq
wenzelm@2864
    82
equiv
wenzelm@2864
    83
noteq
wenzelm@2864
    84
sqsubset
wenzelm@2864
    85
sqsubseteq
wenzelm@2864
    86
prec
wenzelm@2864
    87
preceq
wenzelm@2864
    88
succ
wenzelm@2864
    89
approx
wenzelm@2864
    90
sim
wenzelm@2864
    91
simeq
wenzelm@2864
    92
le
wenzelm@2864
    93
Colon
wenzelm@2864
    94
leftarrow
wenzelm@2864
    95
midarrow
wenzelm@2864
    96
rightarrow
wenzelm@2864
    97
Leftarrow
wenzelm@2864
    98
Midarrow
wenzelm@2864
    99
Rightarrow
wenzelm@2864
   100
bow
wenzelm@2864
   101
mapsto
wenzelm@2864
   102
leadsto
wenzelm@2864
   103
up
wenzelm@2864
   104
down
wenzelm@2864
   105
notin
wenzelm@2864
   106
times
wenzelm@2864
   107
oplus
wenzelm@2864
   108
ominus
wenzelm@2864
   109
otimes
wenzelm@2864
   110
oslash
wenzelm@2864
   111
subset
wenzelm@2864
   112
infinity
wenzelm@2864
   113
box
wenzelm@2864
   114
diamond
wenzelm@2864
   115
circ
wenzelm@2864
   116
bullet
wenzelm@2864
   117
parallel
wenzelm@2864
   118
surd
wenzelm@2864
   119
copyright