src/Tools/8bit/doc/keyindex.tex
author paulson
Mon, 21 Oct 1996 11:37:21 +0200
changeset 2119 1d8ae796f3bf
parent 1826 2a2c0dbeb4ac
permissions -rw-r--r--
Mentions the possibility of pathnames in ISABELLECOMP;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     1
\documentclass[a4paper,11pt]{article}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     2
\usepackage{latexsym,amssymb,supertab}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     3
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     4
\begin{document}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     5
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     6
\begin{center}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     7
{\Large 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     8
  Description of Keyboard Mapping\\
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     9
      Indexed by Key Sequence}\\
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    10
  Date: \today 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    11
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    12
\vspace*{.5cm}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    13
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    14
\tablehead{\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    15
Key Sequence & Code Sequence in Hex & \LaTeX \\
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    16
\hline}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    17
\tabletail{\hline}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    18
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    19
\begin{supertabular}{|l|l|l|}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    20
 F9 & c4 & \mbox{$\bigwedge$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    21
 F10 & ea,eb & \mbox{$\Longrightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    22
 F11 & da & \mbox{$\equiv$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    23
 F12 & db & \mbox{$\not=$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    24
Ctrl F1 & d4 & \mbox{$\sqcap$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    25
Ctrl F2 & d5 & \mbox{$\sqcup$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    26
Ctrl F3 & d6 & \mbox{$\overline{|\,\,|}$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    27
Ctrl F4 & d7 & \mbox{$\bigsqcup$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    28
Ctrl F5 & c5 & \mbox{$\lceil$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    29
Ctrl F6 & c6 & \mbox{$\rceil$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    30
Ctrl F7 & c7 & \mbox{$\lfloor$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    31
Ctrl F8 & c8 & \mbox{$\rfloor$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    32
Ctrl F9 & c9 & \mbox{$(\!|$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    33
Ctrl F10 & ca & \mbox{$|\!)$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    34
Ctrl F11 & cb & \mbox{$[\![$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    35
Ctrl F12 & cc & \mbox{$]\!]$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    36
Alt D & a2 & \mbox{$\Delta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    37
Alt F & a7 & \mbox{$\Phi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    38
Alt G & a1 & \mbox{$\Gamma$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    39
Alt J & a3 & \mbox{$\Theta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    40
Alt L & a4 & \mbox{$\Lambda$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    41
Alt P & a5 & \mbox{$\Pi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    42
Alt Q & a8 & \mbox{$\Psi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    43
Alt S & a6 & \mbox{$\Sigma$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    44
Alt W & a9 & \mbox{$\Omega$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    45
Alt a & aa & \mbox{$\alpha$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    46
Alt b & ab & \mbox{$\beta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    47
Alt c & bc & \mbox{$\chi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    48
Alt d & ad & \mbox{$\delta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    49
Alt e & ae & \mbox{$\varepsilon$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    50
Alt f & bb & \mbox{$\varphi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    51
Alt g & ac & \mbox{$\gamma$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    52
Alt h & b0 & \mbox{$\eta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    53
Alt j & b1 & \mbox{$\vartheta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    54
Alt k & b2 & \mbox{$\kappa$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    55
Alt l & b3 & \mbox{$\lambda$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    56
Alt m & b4 & \mbox{$\mu$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    57
Alt n & b5 & \mbox{$\nu$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    58
Alt p & b7 & \mbox{$\pi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    59
Alt q & bd & \mbox{$\psi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    60
Alt r & b8 & \mbox{$\rho$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    61
Alt s & b9 & \mbox{$\sigma$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    62
Alt t & ba & \mbox{$\tau$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    63
Alt w & be & \mbox{$\omega$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    64
Alt x & b6 & \mbox{$\xi$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    65
Alt z & af & \mbox{$\zeta$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    66
Alt F1 & e6 & \mbox{$\leftarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    67
Alt F2 & e7 & \mbox{$-$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    68
Alt F3 & e8 & \mbox{$\rightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    69
Alt F4 & e6,e8 & \mbox{$\leftrightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    70
Alt F5 & ec & \mbox{$\twoheadrightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    71
Alt F6 & ed & \mbox{$\mapsto$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    72
Alt F7 & ee & \mbox{$\leadsto$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    73
Alt F8 & ef & \mbox{$\uparrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    74
Alt F9 & f0 & \mbox{$\downarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    75
Alt F10 & cd & \mbox{$\emptyset$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    76
Alt F11 & ce & \mbox{$\in$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    77
Alt F12 & f1 & \mbox{$\notin$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    78
AltGraph E & da & \mbox{$\equiv$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    79
AltGraph F & c4 & \mbox{$\bigwedge$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    80
AltGraph G & e1 & \mbox{$\succeq$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    81
AltGraph I & ea,eb & \mbox{$\Longrightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    82
AltGraph L & df & \mbox{$\preceq$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    83
AltGraph M & eb & \mbox{$\Rightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    84
AltGraph N & f7 & \mbox{$\natural$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    85
AltGraph P & dd & \mbox{$\sqsubseteq$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    86
AltGraph S & e3 & \mbox{$\simeq$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    87
AltGraph a & c0 & \mbox{$\wedge$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    88
AltGraph b & d8 & \mbox{$\perp$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    89
AltGraph e & d9 & \mbox{$\doteq$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    90
AltGraph f & c2 & \mbox{$\forall$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    91
AltGraph g & e0 & \mbox{$\succ$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    92
AltGraph i & e7,e8 & \mbox{$\longrightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    93
AltGraph l & de & \mbox{$\prec$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    94
AltGraph m & e8 & \mbox{$\rightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    95
AltGraph n & bf & \mbox{$\neg$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    96
AltGraph o & c1 & \mbox{$\vee$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    97
AltGraph p & dc & \mbox{$\sqsubset$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    98
AltGraph s & e2 & \mbox{$\sim$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    99
AltGraph t & c3 & \mbox{$\exists$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   100
AltGraph u & db & \mbox{$\not=$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   101
AltGraph x & f2 & \mbox{$\times$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   102
AltGraph F1 & d0 & \mbox{$\cap$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   103
AltGraph F2 & d1 & \mbox{$\cup$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   104
AltGraph F3 & d2 & \mbox{$\bigcap$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   105
AltGraph F4 & d3 & \mbox{$\bigcup$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   106
AltGraph F5 & cf & \mbox{$\subseteq$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   107
AltGraph F6 & f9 & \mbox{$\Box$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   108
AltGraph F7 & fa & \mbox{$\Diamond$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   109
AltGraph F8 & fb & \mbox{$\circ$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   110
AltGraph F9 & fc & \mbox{$\bullet$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   111
AltGraph F10 & fd & \mbox{$\parallel$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   112
AltGraph F11 & fe & \mbox{$\surd$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   113
AltGraph F12 & ff & \mbox{\copyright}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   114
Shift F1 & e9 & \mbox{$\Leftarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   115
Shift F2 & ea & \mbox{$=$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   116
Shift F3 & eb & \mbox{$\Rightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   117
Shift F4 & e9,eb & \mbox{$\Leftrightarrow$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   118
Shift F5 & f3 & \mbox{$\oplus$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   119
Shift F6 & f4 & \mbox{$\ominus$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   120
Shift F7 & f5 & \mbox{$\otimes$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   121
Shift F8 & f6 & \mbox{$\oslash$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   122
Shift F9 & f7 & \mbox{$\natural$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   123
Shift F10 & f8 & \mbox{$\infty$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   124
Shift F11 & e4 & \mbox{$\le$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   125
Shift F12 & e5 & \mbox{$\ge$}\\
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   126
\end{supertabular}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   127
\end{center}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   128
\end{document}