src/Tools/8bit/doc/fkmatrix.tex
author paulson
Tue, 16 Jul 1996 15:49:46 +0200
changeset 1868 836950047d85
parent 1826 2a2c0dbeb4ac
permissions -rw-r--r--
Put in minimal simpset to avoid excessive simplification, just as in revision 1.9 of HOL/indrule.ML
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,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
  Keyboard Mapping for Function Keys F1 - F12}\\ 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     9
  Date: \today 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    10
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    11
\vspace*{.5cm}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    12
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    13
\tablehead{\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    14
Modifier & F1 &F2 &F3 &F4 &F5 &F6 &F7 &F8 &F9 & F10 &F11 &F12\\
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    15
\hline}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    16
\tabletail{\hline}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    17
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    18
\begin{supertabular}{|l|l|l|l|l|l|l|l|l|l|l|l|l|}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    19
None& & & & & & & & &\mbox{$\bigwedge$}&\mbox{$\Longrightarrow$}&\mbox{$\equiv$}&\mbox{$\not=$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    20
\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    21
Shift&\mbox{$\Leftarrow$}&\mbox{$=$}&\mbox{$\Rightarrow$}&\mbox{$\Leftrightarrow$}&\mbox{$\oplus$}&\mbox{$\ominus$}&\mbox{$\otimes$}&\mbox{$\oslash$}&\mbox{$\natural$}&\mbox{$\infty$}&\mbox{$\le$}&\mbox{$\ge$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    22
\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    23
Alt&\mbox{$\leftarrow$}&\mbox{$-$}&\mbox{$\rightarrow$}&\mbox{$\leftrightarrow$}&\mbox{$\twoheadrightarrow$}&\mbox{$\mapsto$}&\mbox{$\leadsto$}&\mbox{$\uparrow$}&\mbox{$\downarrow$}&\mbox{$\emptyset$}&\mbox{$\in$}&\mbox{$\notin$}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    24
\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    25
AltGraph&\mbox{$\cap$}&\mbox{$\cup$}&\mbox{$\bigcap$}&\mbox{$\bigcup$}&\mbox{$\subseteq$}&\mbox{$\Box$}&\mbox{$\Diamond$}&\mbox{$\circ$}&\mbox{$\bullet$}&\mbox{$\parallel$}&\mbox{$\surd$}&\mbox{\copyright}\nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    26
\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    27
Ctrl&\mbox{$\sqcap$}&\mbox{$\sqcup$}&\mbox{$\overline{|\,\,|}$}&\mbox{$\bigsqcup$}&\mbox{$\lceil$}&\mbox{$\rceil$}&\mbox{$\lfloor$}&\mbox{$\rfloor$}&\mbox{$(\!|$}&\mbox{$|\!)$}&\mbox{$[\![$}&\mbox{$]\!]$}\\
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    28
\hline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    29
Meta& & & & & & & & & & & & \nextline
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    30
\end{supertabular}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    31
\end{center}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    32
\end{document}