summaryrefslogtreecommitdiff
path: root/usergrps/uktug/baskervi/4_1/bailey.tex
blob: 8897edeca42996a7c7cd5fccf5000c1b6d923dc5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
%%% An item for Topical Tips
\title{Topical tip: Numbering theorems and corollaries in \LaTeX}
\newtheorem{prequestion}{Question}
\newtheorem{preanswer}{Answer}
\renewcommand{\thepreanswer}{}
\newenvironment{question}{\begin{prequestion}\rm}{\end{prequestion}}
%%%
%%% Dear Mr Editor, I should like the content of questions and answers
%%% to come out in what all copy-editors call ROMAN, not in what
%%% Frank Mittelbach calls roman. And this should be irrespective
%%% of the surrounding text.
%%%
\newenvironment{answer}{\begin{preanswer}\rm}{\end{preanswer}}
\author[R.~A.~Bailey]{R.~A.~Bailey\\Goldsmiths' College, University of London}
%%%
\newcommand{\latexword}[1]{{\ttfamily\fontshape{n}{#1}}}
%%% and the above should be in typewriter-ordinary IRRESPECTIVE of the
%%% surrounding fonts
%%%
\newcommand{\theoremheadfont}[1]{\textbf{#1}}
%%%
%%% editor: I have been as generic as I can, but of course you can't
%%% put \verb inside a \newcommand. I have consistently used + as the
%%% delimiter for \verb.
%%%
\newcommand{\lamport}{{\itshape \LaTeX: A Document Preparation System\/} by Leslie 
Lamport}
\newcommand{\shortlamp}{{\itshape The Manual}}

\begin{Article}

\begin{question}
We Mathematicians can't use \LaTeX. We need to be able to choose how to label 
our theorems. For example, I like to have my important theorems numbered in a 
sequence Theorem~A, Theorem~B and so on, 
and the less important theorems numbered
Theorem~1, Theorem~2 and so on. You can't do that in \LaTeX.
\label{sieb}
\end{question}

\begin{answer}
Oh yes you can, and using nothing more than you can find in
\lamport, hereafter called \shortlamp.

Pages 58--59 of \shortlamp\ show how to set up a simple theorem environment.
The command
\begin{verbatim}
   \newtheorem{thm}{Theorem}
\end{verbatim}
creates an environment called \latexword{thm}. Then each use of this 
environment produces something whose heading is \theoremheadfont{Theorem}. It 
is true that these theorems are numbered 1, 2,~3, etc. To obtain something 
numbered A, B,~C, etc., use the numbering commands given on page~92 of 
\shortlamp. Thus
\begin{verbatim}
   \newtheorem{main}{Theorem}
   \renewcommand{\themain}{\Alph{main}}
\end{verbatim}
creates an environment called \latexword{main} whose heading is also
\theoremheadfont{Theorem} but whose instances are numbered A, B, \ldots.
Cross-references work correctly too: if you label the third 
\latexword{main}  with
\verb+\label{mmm}+
and refer to it with \verb+Theorem~\ref{mmm}+ then it will be called 
Theorem~C.
\end{answer}

\begin{question}
Journal editors are so fussy. They all want me to number my corollaries in
different ways. The first wants corollaries numbered in the same sequence as 
theorems; the second wants them numbered in a separate sequence of their own; 
the third wants the corollaries after Theorem~7 to be numbered Corollary~7.1, 
Corollary~7.2, etc.; while the fourth also wants the corollaries to start 
renumbering after each theorem, but wants the corollaries after Theorem~7 to be
numbered Corollary~1, Corollary~2 etc. How do I do all of this?
\end{question}

\begin{answer}
It is not hard to do these things, because \LaTeX\ is provided with the 
\latexword{newtheorem} command. I shall assume that you have defined an 
environment \latexword{thm} as in the answer to Question~\ref{sieb}. The 
instructions on pages~58--59 of \shortlamp\ show us how to satisfy the first 
three editors. For the first, put
\begin{verbatim}
   \newtheorem{cor}[thm]{Corollary}
\end{verbatim}
and you will get an environment called \latexword{cor} whose instances are 
called \theoremheadfont{Corollary} numbered in the same sequence as the 
theorems. For the second, put
\begin{verbatim}
   \newtheorem{cor}{Corollary}
\end{verbatim}
and for the third put
\begin{verbatim}
   \newtheorem{cor}{Corollary}[thm]
\end{verbatim}

For the fourth editor, we need the extra information from page~92. The third 
command above makes the \latexword{cor} counter start again after each 
\latexword{thm}, but it causes the Corollary number to be printed as, say, 7.1 
rather than~1. We can cure this by putting
\begin{verbatim}
   \newtheorem{cor}{Corollary}[thm]
   \renewcommand{\thecor}{\arabic{cor}}
\end{verbatim}

In each of the four cases you get an environment called \latexword{cor} 
whose instances are 
called \theoremheadfont{Corollary}.
Only the system of numbering is different.

You should now be able to work out how to make the corollaries after Theorem~5 
come out as Corollary~5a, Corollary~5b, and so on.
\end{answer}
\end{Article}