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