Graetzer 3rdedition PDF
Graetzer 3rdedition PDF
Third Edition
George Grätzer
BIRKHÄUSER • SPRINGER
BOSTON NEW YORK
George Grätzer
Department of Mathematics
University of Manitoba
Winnipeg, MB R3T 2N2
Canada
d')®
©2000 Birkhäuser Boston Birkhäuser lL(»>
©2004 Birkhäuser Boston. 2nd printing
©2004 Birkhäuser Boston, 3rd printing
All rights reserved. This work may not be translated or copied in whole or in part witllOut the written
permission of the publisher (Birkhäuser Boston, c/o Springer Science+Business Media Inc., Rights and
Permissions, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with
reviews or scholarly analysis. Use in connection with any form of information storage and retrieval,
electronic adaptation. computer software, or by similar or dissimilar methodology now known or hereafter
developed is forbidden.
The use in this publication of trade names, trademarks, service marks and similar terms, even if they are not
identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to
proprietary rights.
Adobe, Adobe Acrobat, Adobe Acrobat Distiller, Adobe Acrobat Reader, Adobe Illustrator, ATM, Portable
Document Format, PostScript are trademarkes of Adobe Systems lnc.
Apple and Macintosh are trademarks of Apple Computer Inc.
Microsoft and Windows are trademarrks of Microsoft Corporation.
Microspell is a trademark ofTrigram Systems.
UNIX is a registered trademark of Open Group.
www.birkhauser.com
Short contents
Introduction XXVll
I A short course 1
4 Typingmath 155
IV Customization 309
9 Customizing l5\'!EX 311
11 Makelndex 393
C Background 475
G Conversions 507
Bibliography 521
Index 525
Contents
Introduction XXVll
lAshort course 1
1 Typing your first article 3
1.1 Typing text . . . . . 4
1.1.1 The keyboard 4
1.1.2 Your first note . 6
1.1.3 Lines too wide 7
1.1.4 More text features. 9
1.2 Typing math. . . . . . . 11
1.2.1 A note with math 11
1.2.2 Errors in math . . . 13
1.3 Building blocks of a formula 15
1.4 Building a formula step-by-step 22
1.5 Formula gallery .. 25
1.6 Displayed formulas . . . 32
1.6.1 Equations . . . . 32
1.6.2 Aligned formulas 34
1.6.3 Cases . . . . . . 37
1.7 The anatomy of an article . 38
1.7.1 The typeset sampie article 43
1.8 li\TEX article templates 46
1.9 Your first article . . . . . . . . . . 47
Vlll Contents
IV Customization 309
9 Customizing U\1EX 311
9.1 User-defined commands 312
9.1.1 Examples and rules 312
9.1.2 Arguments .... 318
9.1.3 Short arguments 320
9.1.4 Optional arguments . 321
9.1.5 Redefining commands 322
9.1.6 Redefining names . . . 323
9.1.7 Showing the definitions of commands 323
9.1.8 Delirnited commands . . . . . . . 325
9.2 User-defined environments . . . . . . . . 328
9.2.1 Modifying existing environments 328
9.2.2 Arguments ............ 331
Contents xm
11 Mnkelndex 393
11.1 Preparing the document 393
11.2 Index commands . . . . 397
11.3 Processing the index entries 402
11.4 Rules .. 405
11.5 Glossary . . . . . . . . . . . 407
xiv Contents
C Background 475
C.l A short history . · . . . . . . 475
C.l.l IbTEX3. · ...... 476
C.l.2 Recent developments 478
C.2 How does IbTpX work? 479
C.2.1 The layers 479
C.2.2 Typesetting .. 480
xvi Contents
G Conversions 507
G.l Converting to ~TEX . . . . . . . . . . . 508
G.1.1 Converting Plain TEX to E\TEX . 508
G.1.2 Converting E\TEX 2.09 to ~TEX . 509
G.2 Converting to ~TEX with the AMS packages 510
G.2.1 Using the AMS packages in a E\TEX document 510
G.2.2 Converting from AMS-TEX . . . . . . . . . . 510
G.2.3 Converting trom version 1.2 ofthe AMS packages 511
G.3 Converting to an AMS document dass . . . . . . . 512
G.3.1 Converting from ~TEX . . . . . . . . . . . 512
G.3.2 Converting from AMS-~TEX, version 1.1 . 514
Bibliography 521
Index 525
List of tables
Packages,57
U ser-defined eommands, Sec. 9.1
URl.S, 279
AMS, xxxii; Sees. 1.13.1,8.6
page breaks, 10; See. 2.7.3
Web-page addresses, 279
paragraphs, 7; Sec. 2.7.2
parentheses, 18; Sees. 4.6, A.6 white spaee, 12,69; Sec. A.9
pictures, 250, 449
points (pt), 8; Sec. 9.5.2
Portable Document Format (PDF), 444
PostScript, 444
preamble of an article, 38
printing, 58
products, 21; See. 4.8
prohibited keys, 5; See. 2.1.3
prompts,60
proofs, Sec. 3.5
punctuation marks, 5, 68
Whya newedition?
Tbe Internet
Just a few years ago, the Internet consisted oflittle more than e-mail, USENET, and
FTP sites. The state-of-the-art in information technology was Gopher, a text-based
system using hierarchical menus to organize documents. Today the World Wide
Web dominates the headlines in major magazines and newspapers. Many journals
now have electronic editions, and new journals published solelyon the Internet are
beginning to appear. E-books and e-learning have started to establish themselves.
The popularity and ease of use of the World Wide Web make it one of the best
ways to share l>\TEX articles, reports, and books with a wider audience.
Part VI discusses the interaction between l>\TEX and the Internet:
• Chapter 13 examines the role of the Internet as the main source for information
about using and customizing Jb.TEX.
• Chapter 14 explains how to publish your own l>\TEX articles, reports, and books
on the World Wide Web.
Newfocus
This edition focuses on the "standard Jb.TEX." The first edition ofthis book (pub-
lished in 1993) described AMS-Jb.TEX, version 1.1, and the amsart document
style. AW-Jb.TEX, version 1.1, was a stand-alone product that was incompatible
with the standard Jb.TEX ofthe time, Jb.TEX 2.09. The second edition (in 1996)
reported on the new Jb.TEX (then called Jb.TEX 2 E ) and the new E\TEX -compatible
XXIV Preface to the third edition
AMS packages that replaced AMS-Ib-TEX, version 1.1, but the book still had an
AMS-Ib-TEX-centric view.
This third edition is about Ib-TEX. Where necessary, I recommend that you use
packages to extend Ib-TEX's capabilities. For typesetting mathematics, I strongly
recommend that you use the AMS packages.
The American Mathematical Society released version 2.0 ofthe AMS packages in
1999. This third edition covers the changes made in this release.
Books
The first and second editions of this book dealt primarily with the tasks involved
in writing artides. In Part V, the third edition addresses the issues that arise when
creating longer documents. In addition to chapters on BIBTEX and Makelndex,
I have added a new chapter on writing books. Appendix F illustrates the impor-
tance of choosing a well-designed book document dass.
Other changes
B\1EX Ib-TEX2 c has been remarkably stable since its release in 1996, becorning
the standard Ib-TEX (see Section C.1.2). Changes have been rninor except for ad-
vances in using Ib-TEX with non-English languages (see the new Appendix E) and
the widespread use of the PostScript CM and AMS fonts (see the new Section D.l).
the new Seetion 5.1, a visual guide to multiline math formulas; and the two-page
spread of bibliographie styles in Chapter 10.
Web enhanced In the introduetion, I explain how I plan to keep you, the reader,
up-to-date on changes to come via the Web.
1. I do not have much time to spend learning the technical aspects ofwriting arti-
eIes. Do I really need a book as large as this one?
2. Can you help me to get started from serateh, eovering everything from installing
a working IbTEX system to the rudiments of text editing?
My answer to the first question is no. You do not need to read the entire book
to get started. If you only read Part I (the short coUfse), the few pages discussing
the top matter ofan AMS document (Section 8.1), and those parts ofthe book
that cover the types of mathematical expressions yoUf work uses, you will be able
to write a basic artieIe. Math into IßTEX is as large as it is because it addresses the
use of IbTEX for a wide range of users. You can be very selective about what you
ehoose to read at first, and come back later for more detail as needed.
The second question is addressed in a very small way by a section in the in-
troduetion, Setting the stage. There are dozens ofdifferent IbTEX implementations
and hundreds of text editors. YOUf environment will be based on the kind of com-
puter you have (or have access to), what you need yoUf IbTEX system to do, how
much work you are willing to do to maintain the system, and how much money
you are willing to spend. Sections 13.2 and 13.3 will help you select a IbTEX system
that meets yauf needs.
Because of the complex choices involved, no one book can possibly cover all
of the possible combinations. I assurne that you have a working and up-to-date
IbTEX system, that you know how to use some text-editing application (even Word
will do), and that you know the basies of working with YOUf computer's operating
system.
George Grätzer
Introduction
• A text editor is used to create a Jb.TEX souree file. A source file (we will call it
first. tex) might look like the following:
\documentclass{article}
\begin{document}
The hypotenuse: $\sqrt{a-{2} + b-{2}}$. I can type math!
\end{document}
Note that the source file first. tex is different from a typical word-processor
file: All characters are displayed at the same size and in the same font.
XXVlll Introduetion
• Typeset the souree file «nd view the result on their monitor (the two corners indicate
material that is shown as typeset by l5\TEX):
Unfortunately, I cannot tell you exaccly how YOUf particular text editor works,
or how type setting and printing is done on yoUf system. Just as there are many
text editors (ranging from the ancient vi to modern editors with graphical user
interfaces), there are many l5\TEX setups, each with its own unique installation and
a different way oftypesetting and printing. However, the following two exampIes
should give you some idea of the process.
Exampte1: UNIX
UNIX commands are typed at a shell prompt (such as unix$). The following com-
mand starts a text editor:
unix$ vi first.tex
Once the editor starts, you type the text of yoUf article. When you are ready to
typeset the article, save the file and quit the editor. Back at the shell prompt, typing
If changes must be made, you can return to the editor and make them, save
and quit, then typeset and preview the fiIe again. To print the DVI file, type a com-
mand such as the following at the shell prompt:
\documentclass{article}
\begin{document}
hypotenuse: $\sqrt{a-{2} + b-{2}}$. I can type math!
\end{document}
o
4 •
To print your document, choose Print ... trom the File menu. To con-
tinue editing your document, simply dick the mouse in the text-editing window
to bring it to the front, and type. Depending on how you have set the options, the
changes in the Ib-TEX source file may automatically appear in the window displaying
the typeset version.
\emph{detailed description}
The \emph command is a markup command; the marked-up text will yield the type-
set output
detailed description
L
In this book, I will introduce you to Ib-Tp)C, a markup language designed and
implemented by Leslie Lamport, based on Donald E. Knuth's typesetting language
TEX (see Donald E. Knuth's Tbe TEXbook [34] and Leslie Lamport's IßTEX: A
Document Preparation System [39]). I believe that you will find that it is actually
quite easy to learn how to mark up text.
On pages 290-297, I juxtapose the source file for an AMS sample article with
the typeset version. The markup in the source file may appear somewhat challeng-
ing at first, but I think you will agree that the typeset article is a pleasing rendering
ofthe marked-up material.
I Markup languages have always dominated typographie work of high quality. Communieations
on the World Wide Web are also eustomarily written in a markup language ealled HTML (HyperText
Markup Language). More about markup languages in Seetion 14.1.1.
Introduction XXXI
TEX
The TEX composition language was designed for typesetting mathematical and sci-
entific artides and books, and can handle complex mathematical formulas as well
as text: To get the formula Jo7r va
2 + x 2 dx, type
You do not have to worry about determining the size ofthe integral symbol or how
to construct the square root symbol that covers a 2 + x 2 because TEX does this for
you!
A tremendous part of the appeal of the TEX language is that a source file is
plain text (ASCII text), which is easy to transmit electronically to colleagues, coau-
thors, journals, editors, and publishers.
TEX is also platform independent. You may type the first version of a source
file on a Macintosh computer; your coauthor may make improvements to the same
file on a PC (a computer running Microsoft Windows); and the journal publishing
the artide may use a UNIX machine (a computer running a UNIX variant such as
Solaris or Linux) to prepare the manuscript for printing. 2
IbTEX was built on TEX's foundation, and has commands that are easier to use, a
set of structural elements, and a larger set of diagnostic messages.
IbTEX provides the following additional features:
This line teIls IbTEX to load the document dass article, which causes IbTEX to
format the document as a generic artide. When submitting your artide to a jour-
nal that is equipped to handle IbTEX manuscripts (the number of such journals
is increasing rapidly), the editor can simply substitute the name of the journal's
document dass to make the body ofyour artide conform to the journal's design.
(Depending on the journal, you may need to use the AMS artide document dass,
amsart, in order to ensure that the front matter ofyour artide also adapts.) Many
journals make their own document dasses available to prospective authors to use
while preparing their artides.
2you may take this senrence as adefinition of the three major computing platforms. Wc will only
discuss tools that are available in some form on all three plattorms.
XXXll Introduction
1. Math. The amsmath package adds a wide variety oftools for typesetting math,
including
• Powerful tools to deal with multiline math formulas. For instance, in the
following formula, the equal signs (=) and the explanatory comments are
vertically aligned:
if x< 0;
if 0:::; x :::; 1;
otherwise.
a == b (mod 8)
Introduction XXX1l1
LL X(I:~jl
J.
,..2+].2-
-5
0 Z
i. j90
Trune f(x), ,
A, * """'
L..- *
The AMS calls these enhancements AMS-0TEX (consisting ofthe math pack-
ages and the document dasses) and AMSFonts (consisting ofthe font-related pack-
ages and the fonts themselves). In this book, to simplifY the terminology, I reier
to all these enhancements collectively as AMS packages; 1 use AMS distribution and
AMS enhancements as synonyms.
I will point out in the text which commands are Ib-TEX commands and which
are defined by AMS packages. References to AMS commands will also be indicated
by the use of a symbol in the margin (such as the one shown here). A smaller ver-
sion, @, is used in the tables of Appendixes A and Band in the index.
XXXIV Introduction
Part II introduces the two most basic skills for writing with Jb.TEX in depth:
typing text and typing math.
Chapters 2 and 3 introduce text and displayed text. Chapter 2 is especially im-
portant because when you type a Jb.TEX document, most of your time is spent typ-
ing text. The topics covered include special characters and accents, hyphenation,
fonts, and spacing. Chapter 3 covers displayed text, including lists and tables, and
for the mathematician, prodamations (theorem-like structures) and proofs.
Chapters 4 and 5 discuss inline and displayed math. Typing math is the heart
of any mathematical typesetting system. Chapter 4 discusses this topic in detail,
induding basic constructs, operators, delimiters, building new symbols, fonts, and
grouping equations. Chapter 5 presents one ofthe major contributions ofthe AMS
packages: aligned multiline formulas. This chapter also discusses other forms of
multiline formulas.
Part III discusses the parts of a Jb.TEX document. In Chapter 6, you learn
ab out the structure of a Jb.TEX document. The most important topics are section-
ing and cross-referencing. In Chapter 7, the most commonly used standard Jb.TEX
document classes are presented: article, report, and letter (the book class is
discussed in Chapter 12), along with a description of the standard Jb.TEX distribu-
tion.
In Chapter 8, we discuss the AMS document classes. In particular, I present
the title page information for the AMS artide document dass and provide a descrip-
tion of the standard AMS distribution.
Introduction xxxv
Chapter 8 also features the AMS samplc article, sampart . tex, first in typeset
form (pages 286-288), then in mixed form, juxtaposing the source file and the
typeset article (pages 290-297). You can learn a lot about IbTEX and the AMS
packages just by reading the source file one paragraph at a time and seeing how
that paragraph is typeset by IbTEX.
Part IV (Chapter 9) introduces techniques to customize IbTEX to speed up
the typing of source files and the typesetting of documents: user-defined com-
mands, user-defined environments, and custom formats. You willlearn how pa-
rameters that affect IbTEX's behavior are stored in counters and length commands,
how to change them, and how to design your own custom lists.
Chapter 9 also contains aversion of the AMS sampie article utilizing the user-
defined commands collected in lattice. sty.
In Part V (Chapters 10 and 11), we will discuss Ion ger documents, which
have special needs. Two applications, contained in the standard IbTEX distribution,
BIBTEX and Makelndex make compiling large bibliographies and indexes much
easier.
I present thc IbTEX and thc AMS book document classes in Chapter 12 along
with the dos and don)ts ofbook writing in IbTEX.
Part VI deals with IbTEX and the Internet. Chapter 13 discusses where to
find useful IbTEX-related intormation on the Internet. The main topics are:
You can share your LATEX articles, reports, and books by putting them on the
Web so that others can view, read, download, and print them. Chapter 14 tells
you how.
You will probably find yourself referring to Appendices A and B time and
again: They contain the math and text symbol tables.
Appendix C relates some historical background material on IbTEX: how it
developed and how it works. Appendix D is abrief introduction to the use of
PostScript fonts in a IbTEX document.
Appendix E briefty describes the llse ofIb.TEX for languages other than Amer-
ican English. Appendix F shows a few pages from a book typeset with a Springer-
Verlag book document class along with excerpts from the source docllment.
Appendix G will help orient those people who have previollsly workcd with
xxxvi Introduction
(Plain) TEX, LATEX, version 2.09, AMS-TEX, or AMS-IbTEX, version l.x. Some
tips are given to smooth your transition to using the current standard IbTEX and
the AMS packages. Finally, Appendix H points you towards some areas for further
study.
Mission statement
This book is a guide for typesetting mathematical documents within the constraints
imposed by IbTEX, an elaborate system with hundreds of mles. IbTEX allows you
to perform almost any mathematical typesetting task through the appropriate ap-
plication ofits mIes. You can customize IbTEX (as it was designed to be modified)
by introducing user-defined commands and environments and by changing IbTEX
parameters.
You can also extend IbTEX by invoking packages that accomplish special tasks:
One such set of packages from the AMS plays an important role in this book-as it
should in any book dealing with mathematical typesetting.
It is not my goal to teach you
• How to modifY IbTEX code to change IbTEX's behavior
• How to write TEX code to create your own packages (IbTEX extensions)
• How to design beautiful documents (writing document dasses)
The definitive book on the first topic is Michel Goossens, Frank Mittelbach,
and Alexander Samarin's Tbe IßTEX Companion [17]. The second and third topics
still await authoritative books.
A recommendation
I strongly recommend that you use the amsart document dass for all your artides.
Begin each artide with the lines
\documentclass{amsart}
\usepackage{amssymb,latexsym}
\begin{document}
and you can ignore all of the discussions in this book about IbTEX commands versus
AMS commands, and IbTEX fonts and the latexsym package versus AMS fonts and
the amssymb package.
Some of you may not be able to follow this recommendation, induding those
who work with older installations whose system managers cannot or will not instali
a newer version of IbTEX or the AMS packages, and those who are forced to use
a publisher's document dass file that is not compatible with the AMS packages.
But most users ofIbTEX who typeset documents with significant amounts of math
will find that using the amsart document dass and loading amssymb and latexsym
make their work easier.
Introduction xxxvii
Keeping up-to-date
Like most computer-related subjects, the material in this book is subject to change
over time. While IbTEX itself may not change much until the advent of Jb.TEX3,
there is a new version of the a msmath package on the horizon, introducing a vari-
ant ofthe equation environment that will automatically break long formulas into
shorter lines. Chapter 13 deals with the Internet, which is in astate of constant
flux. To keep you up-to-date, I am maintaining a Web page to track these changes
for you. To find this page, go to my horne page,
http://www.maths.umanitoba.ca/homepages/gratzer/
and follow the links LaTeX books and MiL Update. Or go directly to
http://www.maths.umanitoba.ca/homepages/gratzer/LaTeXBooks/milupdate.html
Conventions
To make this book easy to read, I use some simple conventions:
I think you will find this typeface sufficiently different fram the other typefaces
I have used (the strokes are much lighter) so that you should not have much
difficulty recognizing typeset TbTEX material. When the typeset material is a
separate paragraph (or paragraphs ), corner brackets in the margin set it off
from the rest of the text--unless it is a single displayed formula.
L
• For explanations in the text, such as
the same typefaces are used. Because they are not set off spatially, it may be a little
more difficult to see that iff is set in Computer Modern roman, whereas iff is
set in the Computer Modern typewriter typeface.
• I usually introduce commands with examples, such as
\\[22pt]
\\[length]
where length is a placeholder representing the value you have to supply. I use
the Computer Modern typewriter italic font for placeholders.
• I use the term directory to mean both directory and folder.
Acknowledgments
This book is based, of course, on its previous editions. I would like to thank the
many people, too numerous to list here again, who read and reread those earlier
manuscripts.
I received professional reports on the manuscript from Barbara Beeton, Nan-
dor Sieben, and Ferenc Wettl. Arthur Ogawa commented on Part 1. The chapter
on BIBTEX has been carefully reviewed-again-by Oren Patashnik (the author of
BIBTEX); the chapter on the Web was read by Sebastian Rahtz (the author ofthe
hyperref package and coauthor ofthe The IJlTEX Web Companion [19]); the chapter
on books was read by Fred Bartlett (Electronic Publishing, Springer-Verlag New
York).
Claire M. Connelly did an outstanding job editing the manuscript, far and be-
yond the call of duty; in addition to editing the text and making suggestions for
improvements, she redesigned the tables and updated the index. Melissa O'Neili
provided two ingenious Perl scripts for cleaning up the index. Ann Kostant demon-
strated that publishers care; this complex project greatly benefited from her guid-
anee and editorial advice. Elizabeth Loew carefully guided the manuscript to pub-
lication.
George Grätzer
E-mail: [email protected]
Homepage: http://www.maths.umanitoba.ca/homepages/gratzer/
PART I
A short course
CHAPTER
Typing
your first article
In this chapter, you will write your first article. All you have to do is to type the
(electronic) source file; Jb.TEX does the rest. I will intro du ce you to the most im-
portant commands for typesetting text and math by working through examples.
More details are provided in the rest of the book.
A source file is made up of text) math (e.g., V5), and instructions to L:lTEX.
You would type the last sentence as follows:
A source file is made up of \emph{text,} \emph{math} (e.g.,
$\sqrt{5}$), and \emph{instructions to \LaTeX.}
In that sentence,
The source file is made up of \emph{text,} \emph{math} (e.g.,
is text,
$\sqrt{5}$
is math, and
\emph{instructions to \LaTeX.}
4 Chapter 1 Typing your first article
\begin{flushright}
and
\end{flushright}
pro duces
a-zA-Z 0-9
+=*!C) []
, , ? . , , -
and the spacebar, the Tab key (which-unlike in a word processor-has the same
effect as the spacebar), and the Return (or Enter) key.
Since TEX source files are "pure text" (ASCII] files), they are very portable.
There is one possible problem 2 limiting this portability: The line endings used.
When you press the Return (or Enter) key, your text editor writes an invisible code
into your source file that indicates where the line ends. Because this code is differ-
ent on each ofthe major platforms (Macintosh, PC,3 and UNIX 4 ), you may have
problems reading a source file created on a different platform. Luckily, many text
editors include the ability to switch end-of-line codes; some even do so automati-
cally.
Finally, there are twelve special keys that are mostly used in IbTEX instructions:
# $ % & \ {} " I
There are commands available so that you can typeset most of these special
characters (as weil as composite characters, such as accented characters) if you need
to use them in your document. For instance, $ is typed as \$; the underscore, _,
is typed as \_; and % is typed as \%; whereas ä is typed as \"{a}. See Section 2.4
for a complete discussion of symbols not available directly from the keyboard and
Appendix B for the text symbol tables.
IbTEX prohibits the use of other keys on your keyboard (unless you are us-
ing aversion ofIbTEX that is set up to work with non-English languages-see Ap-
pendix E). When trying to typeset a source file that contains a prohibited character,
IbTEX will display an error message similar to the tollowing:
In this message, 1.222 me ans li ne 222 of your source file. You must edit that
line to remove the character that TEX cannot understand. The log file (see Sec-
tion C.2.4) will also contain this message.
notes to your source files, and you do not want those notes to appear in the typeset
version of your article, you can begin those lines with a %, and TEX will ignore
everything on them when typesetting your source file. You can also comment out
part of a line:
simply put, we believe % Actually it is not so simple.
Everything on the line after the %character will be ignored.
Line 3 specifies the document dass (in our case, article), which controIs how
the document will be formatted.
The text of the note is typed within the document environment; that is, be-
tween the lines
\begin{document}
and
\end{document}
Nowtypesetnote1. tex; youshould getthe same documentshown on page 6.
As you can see from this example, IbTEX is different from a word processor. It dis-
regards the way you input and position the text, and follows only the formatting
instructions given by the markup commands. IbTEX notices when you put aspace
in the text, but it ignores how many spaces have been inserted. Similarly, one or
more blank lines mark the end of a paragraph.
IbTEX, by default, fully justifies the text by placing space between words-the
interword space-and a somewhat larger space between sentences-the intersen-
tence space. Ifyou have to force an interword space, you can use the \u command
(the symbol umeans a blank space).
The - (tilde) command also forces an interword space, but with a difference:
It keeps the words together on the same line. This command is called a tie or non-
breakable space-see Section 2.4.3.
Note that on lines 12 and 13, the left double quotes are typed as C C (two
left single quotes) and the right double quotes are typed as " (two right single
quotes). The left single quote key is not always easy to find; it is usually hidden
in the upper-left or upper-right corner ofthe keyboard, and shares a key with the
tilde (-).
sentence, delete Rudi u (including the blank space following Rudi). Now save this
modified file in your work directory using the name note1b. tex. (Ifyou down-
loaded the sampie files, you can find note 1b. tex in the samples directory-see
page 4.)
When you typeset note 1b. tex, you should obtain the following:
You will find the same messages in the log file, note1b.log (see Section 1.13).
refers to paragraph two (lines 10-15 in the source file-its location in the typeset
document is not specified). The typeset version of this paragraph has a line that is
15.38948 points too wide. Jb.TEX uses points (pt) to measure distances; there are
about 72 points in 1 inch (or about 28 points in 1 cm); thus 15.38948 points is
about this long: L-J.
The next two lines,
identifY the source of the problem: IbTEX did not hyphenate the word
hamiltonian-reduced
is to paragraph three (lines 16-22 of the source file). There is a problem with
the word Hochschwabauer, which LATEX'S standard hyphe nation routine cannot
handle. (A German hyphenation routine would have no difficulty hyphenating
Hochschwabauer; see Appendix E.) Ifyou encounter such a problem, you can
either try to reword the sentence or insert one or more optional hyphen com-
mands (\-), which tell IbTEX where it may hyphenate the word. In this casc, you
can rewrite Hochschwabauer as Hoch\-schwabauer and the second hyphenation
problem will disappear.
Sometimes a small horizontal overflow can be difficult to spot. The draft
document dass option may help (see Sections 7.1.1, 8.5, and 12.1 for more about
document dass options): IbTEX will put a black box ( or slug) in the margin to mark
an overfulliine. You can invoke this option by changing the \documentclass !ine
to
\documentclass[draft]{article}
Aversion of note 1b. tex with this option can be faund in the samples directory
under the name noteslug . tex.
L
Type in the following source file and save it as note2. tex in your work di-
rectory, without the line numbers (note2. tex can also be faund in the samples
directory-sec page 4):
10 Chapter 1 Typing your firrt article
typed as \_, and the accented character ä is typed as \ "{a}. Accents are explained
in Seetion 2.4.7 (see also the tabIes in Appendix B).
You will seldom need to know more than we have discussed here about typing
text. When you do, however, see Chapters 2 and 3. See also Appendix B, where
all text symbols are organized into tables.
< >
(I is the shifted \
keyon many keyboards.) The formula 2< lxi> y uses all three.
You will begin typesetting math with the following note:
In first-year calculus, we definc intervals such as (u, v) and (u, 00). Such an
interval is a neighborhood of a if a is in the interval. Students should realize that
00 is only a symbol, not a number. This is important since we so on introduce
concepts such as limx--->CXJ f (x).
When we introduce the derivative
. f(x) - f(a)
1Im ,
x-----+a X - a
\[
\lim_{x \to a} fex)
\J
• A math symbol is invoked by a command. For example, the command for 00 is
\infty and the command for ----'> is \to. The math symbols are organized into
tables in Appendix A.
To access all Jb.TEX symbols, use the latexsym package; in other words, begin
YOUf article with
\documentclass{article}
\usepackage{latexsym}
@ Many ofthe symbols listed in Appendix A require the amssymb package. To
use all of the Jb.TEX and AMS symbols, load both packages: 5
\documentclass{article}
\usepackage{latexsym,amssymb}
@ The amssymb package loads the amsfonts package, which contains the commands
for using the AMSFonts (see Section 4.13.2).
• Some commands, such as \sqrt, need arguments enclosed in { and }. To type-
set y5, type $\sqrt{5}$, where \sqrt is the command and 5 is the argument.
Some commands need more than one argument. To ger
3+x
5
type
\[
\frac{3+x}{5}
\]
\frac is the command, 3+x and 5 are the arguments.
Since the $ was omitted, Jb.TEX reads (u, \infty) as text; but the \infty com-
mand instructs Jb.TEX to typeset a math symbol, which can only be done in math
mode. So Jb.TEX offers to put a $ in front of \infty. Jb.TEX attempts a eure, but
in this example it comes too late, because math mode should start just before (u.
Whenever you see the ? prompt, you may press Return to ignore the error
and continue typesetting the document (see Section 1.13.2 for other options and
other prompts).
Exercise 2 Delete the %at the beginning ofHne 7 and insert a %at the beginning
of line 8 (this eliminates the previous error); then delete the %at the beginning
1.3 Building blocks of a formula 15
ofline 15 and insert a %at the beginning ofline 14, introducing a new error (the
closing brace ofthe subscript is missing). Now typeset the note. You will get the
error message
! Missing } inserted.
<inserted text>
}
1.15 ... im_{x \to \infty fCx)$
IbTEX is telling you that a closing brace (}) is missing, but it is not sure where
the brace should be. IbTEX noticed that the subscript started with {, but reached
the end of the math formula before finding the matching }. You must look in the
formula for a { that is not balanced, and insert the missing }.
Exercise 3 Now delete the %at the beginning of line 14, and insert a %at the
beginning ofline 15, removing the previous error. Delete the %at the beginning
of li ne 20 and insert a %at the beginning of line 19, introducing our final error
(omitting the closing brace of the first argument and the opening brace of the sec-
ond argument of \frac). Save and typeset the file. You will get the error message
1. 21 \]
This error message says that IbTEX believes that there is a bad math environment
delimiter on li ne 21 ofyour source file, specifically, the \]. When we look at the
source file, we can see that this delimiter is correct, which means that the problem
must lie within the displayed formula preceding the delimiter, which is the case:
IbTEX was trying to typeset
but \frac requires two arguments: IbTEX found f (x) - f Ca) x - a as the first
argument, then found the \], closing the displayed math environment before a
second argument was found.
See Section 1.10 for more information about finding and fixing problems in
your IbTEX source files.
• Arithmetic
- Subscripts and superscripts
• Binomial coefficients
• Congruences
• Delimiters
• Ellipses
• Integrals
• Math accents
• Matrices
• Operators
- Large operators
• Roots
• Text
In this section, I will describe each ofthese groups, and provide examples illustrat-
ing their use.
Some ofthe commands in the following examples are defined by the amsmath @
package; in other words, to typeset these examples with the gTEX article doc-
ument dass, your file must begin with
\documentclass{article}
\usepackage{amssymb ,latexsym, amsmath}
But recall my recommendation from page xxxvi: You may begin your artides with
\documentclass{amsart}
\usepackage{amssymb,latexsym}
and ignore all ofthe discussions about packages and fonts. (The amsmath package
is automatically loaded by the amsart document dass.)
$a \cdot b$ $a \times b$
\[
\frac{l + 2x}{x + y + xy}
\]
The \frac command is seldom used inline because it can disrupt the interline
spacing of the paragraph; see the comment on page 318 for another example
of this problem.
Binomial coefficients For binomial coefficients, :E\TEX offers the \choose com-
mand. For example, (b~J is typed inlinc as
$a \choose {b + c}$
\[
\frac{n-{2} - 1}{2} \choose {n + 1}
\]
@ The amsmath package provides the \binom command for typesetting bino-
mial coefficients. The examples shown above are typed as
$\binom{a}{b + c}$
and
18 Chapter 1 Typing your first article
\[
\binom{ \frac{n A{2} - 1}{2} }{n + 1}
\]
The second form requires the amsmath package. The command \pmod be- @
haves differently when the amsmath package is used: Its inline and displayed
forms use different spacing (see Section 4.7.3).
De1imiters Parentheses and square brackets are examples of delimiters; they are
used to delimit some subformulas, as in $ [(a*b) +(c*d)] A2$, which typesets
as [( a * b) + (c * d)j2. They can expand vertically to enclose a formula:
(
1+ x )2
2+y2
is typed as
\[
\lefte \frac{1 + x}{2 + yA{2}} \right)A{2}
\J
The \left ( and \right) commands tell IbTE)C to size the parentheses cor-
rectly (relative to the size ofthe symbols inside the parentheses). Two further
examples,
would be typed as
\[
\leftl \frac{a + b}{2} \rightl,
\quad \left\1 AA{2} \right\1
\J
1.3 Building blocks of a formula 19
In tormulas, the ellipsis can be printed either as low (or on-the-line) dots with
the \ldots command:
@ Ifyou use the amsmath package, the command \dots will typeset the cor-
rect ellipsis (with the correct spacing) in most cases; if it does not, see Sec-
tion 4.4.3 on how to specity the appropriate ellipsis from the tour types avail-
able.
Integrals The command for an integral is \int; the lower limit is specified as a
subscript and the upper limit is specified as a superscript. For example' the
integral Jo7r sin X dx = 2 is typed as
Math accents The four most frequently used math accents are:
ii typed as $\bar{a}$
CL typed as $\hat{a}$
a typed as $\ tilde{a}$
ä typed as $\vec{a}$
See Section 4.9 for a complete list.
\[
\begin{array}{cccc}
a + b + c & uv & x - Y & 27\\
a + b &u + v &z & 134
\end{array}
\]
\[
\begin{matrix}
a + b + c & uv & x - Y & 27\\
a + b &u + v &z & 134
\end{matrix}
\]
Both environments separate adjacent matrix elements within a row with am-
persands (&); rows are separated by linebreak commands (\ \). No linebreak
command is needed on the last row.
The basic form ofthe AMS matrix environment does not inc1ude delimiters.
Several additional subsidiary math environments do, inc1uding pmatrix and
vmatrix. For example, @
A = (a + b + c uv) 130 71
a+b u+v 3 17
is typed as follows:
\[
\mathbf{A} =
\begin{pmatrix}
a + b + c & uv\\
a + b &u + v
\end{pmatrix}
\begin{vmatrix}
30 & 7\\
3 & 17
\end{vmatrix}
\]
1.3 Building blocks of a formula 21
As you can see, pmatrix typesets as a matrix between a pair of \left ( and
\right) commands, while vmatrix typesets as a matrix between a pair of
\left land \right I commands. See Section 5.7.1 for a listing of all the
matrix variants.
lim f(x)
x-->o
=0
which is typed as
\[
\lim_{x \to O} fex) 0
\]
Large operators The command for sum is \sum and for product is \prod.
The following examples,
n n
are typed as
\[
\sum_{i=l}~{n} x_{i}~{2} \qquad
\prod_{i=l}~{n} x_{i}~{2}
\]
\qquad is a spacing command (see Seetions 4.11 and A.9) used to sep-
arate the two formulas.
Sums and products are examples of large operators; these are listed in
Seetion A.7.3. They appear in a different style and size when used in an
inline formula: I:~l xt TI7=1 x;.
Roots \sqrt pro duces the square root; for instance, ,ja + 2b is typed as
$\sqrt{a + 2b}$
The n-th root, \Y5, requires the use of an optional argument, which is spec-
ified using brackets ([ ], see Seetion 2.3.1): $\sqrt [n] {5}$.
22 Chapter 1 Typing your first article
Text You can include text in a formula with an \mbox command. For instance,
a = b, by assumption
is typed as
\[
a = b, \mbox{\qquad by assumption}
\J
Note the spacing command \qquad (equivalent to \quad\quad) in the ar-
gument of \mbox. You could also have typed
\[
a = b, \qquad \mbox{by assumption}
\J
because \qquad works in math mode as weIl as in text mode (see Sections
4.11 and A.9).
1fyou USe the amsmath package, the \text commandis available as a replace- @
ment for the \mbox command. It works just Iike \mbox except that \ text
automatically changes the size of its argument when necessary, as in aPower ,
typed as
$a-{\text{power}}$
Type the previous line into formula. tex and test it by type setting the document.
Step 2 Now you can do the sum:
i=l
For the superscript, you can copy and paste the formula created in Step 1 (without
the dollar signs), so that you have the following:
\[
1}-{ \left[ \frac{n}{2} \right] }
\]
\[
x_{i, i + 1}-{i-{2}} \qquad \left[ \frac{i + 3}{3} \rightJ
\]
Step 4 Now it is easy to do the binomial. Piece together the following formula
by copying and pasting the previous formulas (dropping the \qquad command):
\[
\binom{ x_{i,i + 1}-{i-{2}} }{ \left[ \frac{i + 3}{3} \right] }
\]
which typesets as
24 Chapter 1 Typing your first article
Step 5 Next, type the formula under the square root, J-L(i) ~ (i 2 - 1):
Step 6 The two cube roots, {/ p(i) - 2 and \I p(i) - 1, are easy to type:
{/ p(i) - 2 + {/p(i) - 1
\[
\frac{ \sqrt{ \mu(i)~{ \frac{3}{2}} (i~{2} -1) } }
{ \sqrt[3]{\rho(i) - 2} + \sqrt[3]{\rho(i) - 1} }
\]
[~l
~ (X'i +1)
2 VJ-L (')~('2
2 2- 1)
i=l [:1 3J {/p(i)-2+{/p(i)-1
is formed by copying and pasting the pieces together, leaving only one pair of dis-
played math delimiters:
\[
\sUID_{i = 1}~{ \left[ \frac{n}{2} \right] }
\binom{ x_{i, i + 1}~{i~{2}} }
{ \left[ \frac{i + 3}{3} \right] }
\frac{ \sqrt{ \mu(i)~{ \frac{3}{2}} (i~{2} - 1) } }
{ \sqrt[3]{\rho(i) - 2} + \sqrt[3]{\rho(i) - 1} }
\]
It is to your advantage to keep your source file readable. Jb.TEX does not care
how its input is formatted, and would happily accept the following:
\[\sum_{i=1}~{\left[\frac{n}{2}\right]}\binom{x_{i,i+l}~{i~{2}}}
{\left[\frac{i+3}{3}\right]}\frac{\sqrt{\mu(i)~{\frac{3}
{2}}(i~{2}-1)}}{\sqrt[3]{\rho(i)-2}+\sqrt[3]{\rho(i)-1}}\]
But this haphazard style will not only make it more difficult for your coauthors or
editor to work with your source file, it will make finding mistakes difficult. Try to
find the error in the next version:
\[\sum_{i=1}~{\left[\frac{n}{2}\right]}\binom{x_{i,i+l}~{i~{2}}}
{\left[\frac{i+3}{3}\right]}\frac{\sqrt{\mu(i)~{\frac{3}
{2}}}(i~{2}-1)}}{\sqrt[3]{\rho(i)-2}+\sqrt[3]{\rho(i)-1}}\]
\[
x \mapsto \{\, c \in C \mid c \leq x \,\}
\]
26 Chapter 1 Typing your first article
Note that both land \mid are typeset as I. Use I for absolute value signs. In this
formula, \mid is used because it provides extra spacing (see Section 4.6.4). To
equalize the spacing around c E C and c :::; x, a thin space (\,) was added inside
each brace (see Seetion 4.11). The same technique is used in several other formulas
in this seetion.
Formula 2
is typed as
\[
\leftl \bigcup C\, I_{j} \mid j \in J \,) \rightl
< \mathfrak{m}
\J
The \left land \right I commands are delimiters; they create vertical bars
whose size adjusts to the size of the formula. The \mathfrak command provides
access to the Fraktur math alphabet (which requires either the amsfonts or the
eufrak package). ®
Formula 3 Note that you have to add spacing both before and after the text frag-
ment for some in the foUowing example. The argument of \mbox is typeset in text
mode, so the space is recognized.
\[
A = \{\, x \in X \mid x \in X_{i},
\mbox{ for some $i \in I$} \,\}
\]
iff
\[
\langle a_{1},a_{2} \rangle \leq \langle a'_{1},a'_{2}\rangle
\qquad \mbox{if{f}} \qquad a_{l} < a'_{l} \quad \mbox{or}
\quad a_{l} = a'_{l} \mbox{ and } a_{2} \leq a'_{2}
\]
Note that in iHf} (in the argument ofthe first \mbox) the second fis enclosed in
braces to avoid the use of the ligature-the merging of the two f s. For the proper
way of typesetting iff without a ligature, see Seetion 2.4.6.
1.5 Formula gattery 27
\[
\Gamma_{u'} = \{\, \gamma \mid \gamma < 2\chi,
\ B_{\a1pha} \nsubseteq u', \ B_{\gamma} \subseteq u' \,\}
\]
@ See Section A.1.2 for a compiete iisting of Greek letters. The \nsubseteq com-
mand requires the amssymb package.
@ Formula 6 \mathbb allows you to use the blackboard bold math alphabet (which
only provides capitalletters):
\[
A = B-{2} \times \mathbb{Z}
\]
\[
y-C \equiv z \vee \bigvee_{ i \in C } \left[ s_{i}-{C} \right]
\pmod{ \Phi }
\]
Notice how the superscript is set directly above the subscript in sf.
Formula 8
\[
y \vee \bigvee C\, [B_{\gamma}] \mid \gamma \in \Gamma \,)
\equiv z \vee \bigvee (\, [B_{\gamma}]
\mid \gamma \in \Gamma \,) \pmod{ \Phi-{x} }
\]
Fonnula 9 Use \nolimi ts to force the "limit" of the large operator to display
as a subscript:
\[
f(\mathbf{x}) = \bigvee\nolimits_{\!\mathfrak{m}}
\left(\,
\bigwedge\nolimits_{\mathfrak{m}}
(\, x_{j} \mid j \in I_{i} \,) \mid i < \aleph_{\alpha}
\,\right)
\J
Notice that a negative space (\!) was inserted to bring the m a little dos er to the
big join symbol V.
The \mathfrak command requires either the amsfonts or eufrak package. @
Fonnula 10 The \left. command gives a blank left delimiter, which is needed
to balance the \right I command (if the \left and \right commands are not
balanced, you will get an errar message):
\[
\left. \widehat{F}(x) \rightl_{a}~{b}
= \widehat{F}(b) - \widehat{F}(a)
\J
Fonnula 11
\[
u \underset{\alpha}{+} v \overset{l}{\thicksim} w
\overset{2}{\thicksim} z
\]
The \underset and \overset commands require the amsmath package. A @
special case, placing a symbol above a binary relation, can be done in IbTEX with
the \stackrel command.
Formula 12 In this formula, \mbox would not work praperly because the overset
text would be too large, so we use \text, which requires the amsmath package: @
f(x) ~f x 2 - 1
\[
fex) \overset{ \text{def} }{ =} x~{2} - 1
\]
1.5 Formula gatlery 29
Formula 13
n
~
a+b+···+z
\[
\overbrace{a + b + \cdots + z}-{n}
\]
The symbol typed as the exponent is attached to the horizontal curly brace. Note
@ that ifyou use the amsmath package, \dots will do.
Formula 14
a+b+c uv 1 =7
l
a+b c+d
\[
\begin{vmatrix}
a + b + c & uv\\
a + b &c + d
\end{vmatrix}
=7
\]
I a +a+b
l
b+ c uv 11
c+d
=7
\[
\begin{Vmatrix}
a + b + c & uv\\
a + b Hz c + d
\end{Vmatrix}
=7
\]
@ The vmatrix and Vmatrix environments require the amsmath package. In IbTE,X,
the second matrix would be typed as
\[
\left\I \begin{array}{cc}
a + b + c Hz uv\\
a + b Hz c + d
\end{array}\right\1
=7
\]
which produces the typeset formula
a+ b+c uv
11
a+b c+d 11 =7
Note, again, that the g\TE,X spacing is different.
30 Chapter 1 Typing your first article
Formula 15
L bijf)j = L bglf)j + (bii - Ai)f)if)
JEN JEN
is typed as
\[
\sum_{j \in \mathbf{N}} b_{ij} \hat{y}_{j}
\sum_{j \in \mathbf{N}} b~{(\lambda)}_{ij} \hat{y}_{j}
+ (b_{ii} - \lambda_{i}) \hat{y}_{i} \hat{y}
\]
The \mathbf{N} command makes a bold N. Since the \mathbf command cannot
be used to produce a bold math symbol (in math mode), the amsmath package
offers the \boldsymbol command: \boldsymbol {\alpha} produces o. @
Formula 16 To produce the formula
try typing
\[
\left( \prod~n_{\, j = 1} \hat x_{j} \right) H_{c}
= \frac{1}{2} \hat k_{ij} \det \hat{ \mathbf{K} }(ili)
\]
which typesets as
This is not quite right. You can correct the overly large parentheses by using the
\biggl and \biggr commands in place of \left ( and \right), respectively (see
Seetion 4.6.2). Adjust the small hat over K by using \widehat:
\[
\biggl( \prod~n_{\, j = 1} \hat x_{j} \biggr) H_{c}
= \frac{1}{2} \hat{k}_{ij} \det \widehat{ \mathbf{K} }(ili)
\]
\[
\det \mathbf{K} (t = 1, t_{1}, \ldots, t_{n})
= \sum_{I \in \mathbf{n} }(-1)-{III} \prod_{i \in I} t_{i}
\prod_{j \in I} (D_{j} + \lambda_{j} t_{j})
\det \mathbf{A}-{(\lambda)}(\,\overline{I} I \overline{I}\,)
=0
\J
@ Note that ifyou use the amsmath package, \dots will do.
Formula 18 The command \ I provides the II math symbol in this formula:
.
1~ H(z + v) - H(z + v') - BH(z)(v - v')
=0
(v,v')->(O,O) Ilv - v'II
\[
\lim_{(v, v') \to (0, O)}
\frac{H(z + v) - H(z + v') - BH(z)(v - v')}
{\I v - v' \I} = 0
\]
\[
\int_{\mathcal{D}} I \overline{\partial u} 1-{2}
\Phi_{O}(z) e-{\alpha Izl-2}
\geq c_{4} \alpha \int_{\mathcal{D}} lul-{2} \Phi_{O}
e-{\alpha Izl-{2}}
+ c_{5} \delta-{-2} \int_{A} lul-{2}
\Phi_{O} e-{\alpha Izl-{2}}
\J
@ Formula 20 The \hdotsfor command sets dots that span multiple columns in
a matrix. The \dfrac command is the displayed variant of the \frac command
(see Seetion 4.4.1).
'P' Xn,l
(x + C2)2 (x + Cn_l)n-l (x + Cn)n
'PI X cl
'P' Xn,l 'P' X n ,2
A= (x + Cn_d n - l (x + Cn)n
'P2 X cl 'P2 X C2 +I n
....................................................
'P' X n ,l 'P' X n ,2 'P' Xn,n-l 'P' Xn,n
'Pn x cl 'Pn x c2 'Pn x Cn-l 'Pn x cn
32 Chapter 1 Typing your first article
\[
\mathbf{A} =
\begin{pmatrix}
\dfrac{\varphi \cdot X_{n, 1}} {\varphi_{l} \times
\varepsilon_{l}} & (x + \varepsilon_{2})-{2} & \cdots
& (x + \varepsilon_{n - l})-{n - 1}
& (x + \varepsilon_{n})-{n}\\[10ptJ
\dfrac{\varphi \cdot X_{n, 1}} {\varphi_{2} \times
\varepsilon_{l}} & \dfrac{\varphi \cdot X_{n, 2}}
{\varphi_{2} \times \varepsilon_{2}} & \cdots &
(x + \varepsilon_{n - l})-{n - 1}
& (x + \varepsilon_{n})-{n}\\
\hdotsfor{5}\\
\dfrac{\varphi \cdot X_{n, 1}} {\varphi_{n} \times
\varepsilon_{l}} & \dfrac{\varphi \cdot X_{n, 2}}
{\varphi_{n} \times \varepsilon_{2}} & \cdots
& \dfrac{\varphi \cdot X_{n, n - 1}} {\varphi_{n}
\times \varepsilon_{n - 1}} &
\dfrac{\varphi\cdot X_{n, n}}
{\varphi_{n} \times \varepsilon_{n}}
\end{pmatrix}
+ \mathbf{I}_{n}
\J
Note the use ofthe command \ \ [10pt]; ifyou only use \ \, the first and sec-
ond lines of the matrix will be set too dose.
This formula requires the amsmath and amssymb packages. I will show you @
how to rewrite the formula to make it shorter and more readable in Seetion 9.1.2.
1. 6 Displayed formulas
1. 6.1 Equations
The equation environment creates a displayed math formula and automatically
generates an equation nu mb er. The equation
(1) 1 7r
sin x dx = 2
is typed as
\begin{equation}\label{E:firstlnt}
\int_{O}-{\pi} \sin x \, dx = 2
\end{equation}
1.6 Displayed formulas 33
See Sections 12.2 and C.2.4. IbTEX will issue a warning ifyou target.
IbTEX stores the labels in an auxiliary file while it typesets your SOUfce file (see
Section 1.13). For each label, it stores the number of the equation and the page
on which the equation appears. (A third round oftypesetting may be necessary to
get the correct page numbers in the table of contents.)
An equation will be numbered whether or not there is a \label command
attached to it. Of course, if there is no \label command, the number genera ted
for the equation by IbTEX cannot be referenced alltomatically.
The system described here is called symbolic referencing. The symbol for the
number is the argument of the \label command, and that symbol can be refer-
enced with \ref or \pageref commands. IbTEX uses the same mechanism far
34 Chapter 1 Typing your first article
(Int) l 1T
sinx dx =2
is typed as
\begin{equation}
\int_{O}~{\pi} \sin x \, dx 2 \tag{Int}
\end{equation}
Tags (ofthe type discussed here) are absolute: This equation should always be
referred to as (Int). Equation numbers, on the other hand, are relative: They may
change when equations are added, deleted, or rearranged.
Simple alignment
Simple alignment is used to align two or more formulas. To obtain the formulas @
(2) = 82 + t 2 ,
r2
(3) 2u + 1 = v + w(",
x- y+z .
( 4)
- V8 + 2u'
type the following, using \ \ as the line separator and & as the alignment point (note
that you do not need a \ \ on the last line):
1.6 Displayed formulas 35
r~{2}
,,&= s~{2} + t~{2}, \label{E:Pyth}\\
2u + 1:&= v + w~{\alpha}, \label{E:alpha}\\
x:&= \frac{y + z}{\sqrt{s + 2u}}; \label{E:frac}
alignment points
offormulas
(2) r2, ,= 8 2 + t 2
1:,= v + w
)
(3) 2u + Ü
,
, y+z
(4 ) x'= .
:, V8 + 2u'
,
alignment points
offormulas
\begin{align}
r~{2} &= s~{2} + t~{2}, \label{E:Pyth}\\
2u + 1 &= v + w~{\alpha}, \label{E:alpha}\\
x &= \frac{y + z}{\sqrt{s + 2u}}; \label{E:frac}
\end{align}
(These formulas are numbered (2), (3), and (4) because they are preceded by one
numbered equation earlier in this section.)
The intercolumn space is set by amsmath; if you want to set it yourselt~ use
the alignat math environment (see Seetion 5.5.4).
The align environment can also be used to break a long formula into two (or
more) parts. Since numbering both lines in such a case would be undesirable, you
can prevent the numbering of the second line by using the \notag command in
the second part of the fürmula.
Für example,
!t;
1 + J2(x) VI - sinx
= [I + dx - 2tan- 1 (x - 2)
. 1+9 x
is typed as follows:
\begin{align}\label{E:longlnt}
hex) &= \int \left( \frac{ fex) + g(x) } { 1+ f~{2}(x) }
+ \frac{ 1+ f(x)g(x) } { \sqrt{l - \sin x} } \right) \, dx\\
36 Chapter 1 Typing your first article
The multline math environment (See Section 5.3) and the split subsidiary math @
environment (see Section 5.6.2) provide better ways to split a long formula into
two or more aligned parts. spli t also centers the formula number vertically.
The rules for simple alignment are easy to remember:
Annotated alignment
Annotated alignment allows you to align formulas and their annotations (explana- @
tory text) separately (see Figure 1.2):
\begin{align}\label{E:DoAlign}
x &= x \wedge (y \vee z)
&&\text{(by distributivity)}\\
&= (x \wedge y) \vee (x \wedge z)
&&\text{(by condition (M))} \notag\\
&= y \vee z. \notag
\end{align}
The rules for annotated alignment are similar to the rules of simple alignment.
In each line, in addition to the alignment point marked by &, there is also a mark
for the start of the annotation: &&.
The align environment can be used for much more than simple and anno-
tated alignments-see Section 5.5.
1.6 Displayed formulas 37
1.6.3 Cases
@ The cases construct is another subsidiary math environment. It must be used in
a displayed math environment (e.g., align) or within an equation environment
(see Seetion 1.6.1). Here is a typical example:
-x2 , if x < 0;
.f (x) = a + x,
{ if 0 :s: x :s: 1;
x2, otherwise.
typed as follows:
\[
f(x)=
\begin{cases}
-x-{2}, &\text{if $x < O$;}\\
\alpha + x, &\text{if $0 \leq x \leq 1$;}\\
x-{2}, &\text{otherwise.}
\end{cases}
\]
38 Chapter 1 Typing your first article
\begin{document}
\documentclass{ ... }
\usepackage{ ... } preamble
\begin{document}
\begin{abstract}
... abstract
\end{abstract} body
\section{ ... }
\section{ ... }
\begin{thebibliography}{9}
... bibliography
\end{thebibliography}
\end{document}
Figure 1.3: A schematic view of an article.
1.7 The anatomy of an article 39
See Figure 1.3. The preamble contains instructions affecting the entire document.
The \documentclass command is the only required command in the preamble.
There are other commands (such as the \usepackage command) that must be
placed in the preamble if they are used, but these commands do not have to be
present in every document.
Here is the preamble ofthe introductory sample artide:
% Introductory sample article: intrart.tex
% Typeset with LaTeX format
\documentclass{article}
\usepackage{latexsym}
\newtheorem{theorem}{Theorem}
\newtheorem{definition}{Definition}
\newtheorem{notation}{Notation}
The preamble specifies the document dass and then the U\TEX enhancements,
or packages, used by the artide. It can also specity additional commands that will
be used throughout the document (such as prodamation definitions, user-defined
commands, and so on). intrart. tex specifies the article document dass, and
then loads the latexsym package that provides access to some additional LATEX sym-
bols.
A proclamation is a theorem, definition, corollary, note, or other similar con-
struct. The intrart . tex artide defines three prodamations. The first of these,
\newtheorem{theorem}{Theorem}
defines the theorem environment, which then can be used in the body of the artide
(as explained in Section 1.9.3). The other two are similar. U\TEX will automatically
number and format proclamations.
The artide proper, called the body, is contained within the document environ-
ment-between the lines
\begin{document}
and
\end{document}
as illustrated in Figure 1.3. The body of an artide is also split into several parts,
starting with the top matter, which contains tide page information. The top matter
follows the line
\begin{document}
and condudes with the line
\maketitle
40 Chapter 1 Typing your first article
The body continues with an (optional) abstract, contained within an abstract en-
vironment:
\begin{abstract}
In this note, we prove that there exist \emph{complete-simple
distributive lattices,} that is, complete distributive
lattices in which there are only two complete congruences.
\end{abstract}
And here is the rest of the body of the introductory sampIe article, exclusive of the
bibliography (with one comment in the middle):
\section{Introduction}\label{S:intro}
In this note, we prove the following result:
\begin{theorem}
There exists an infinite complete distributive lattice-$K$
with only the two trivial complete congruence relations.
\end{theorem}
\begin{definition}\label{D:P*}
Let $D_{i}$, for $i \in I$, be complete distributive
lattices satisfying condition-\textup{(J)}. Their
$\Pi-{*}$ product is defined as follows:
\[
\Pi-{*} ( D_{i} \mid i \in I ) =
\Pi ( D_HY{-} \mid i \in I ) + 1·,
\]
that is, $\Pi-{*} ( D_{i} \mid i \in I )$ is
1.7 The anatomy of an article 41
Notice that we refer to condition (J) in the definition as \ textup{ (J)}. As a re-
sult, even if the text of the definition is emphasized (as it will be in the type set
article), (J) will still be typeset upright as (J) and not slanted as (J).
\begin{notation}
If $i \in 1$ and $d \in D_{i}-{-}$, then
\[
\langle \ldots, 0, \ldots, d, \ldots, 0, \ldots \rangle
\]
is the element of $\Pi-{*} ( D_{i} \mid i \in I )$ whose
$i$-th component is $d$ and all the other components
are $0$.
\end{notation}
\begin{theorem}\label{T:P*}
Let $D_{i}$, $i \in 1$, be complete distributive
lattices satisfying condition-\textup{(J)}. Let $\Theta$
be a complete congruence relation on
$\Pi-{*} ( D_{i} \mid i \in I )$.
If there exist $i \in 1$ and $d \in D_{i}$ with
$d < l_{i}$ such that, for all $d \leq c < l_{i}$,
\begin{equation}\label{E:congl}
\langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
\langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta},
\end{equation}
then $\Theta = \iota$.
\end{theorem}
\emph{Proof.} Since
\begin{equation}\label{E:cong2}
\langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
\langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta},
\end{equation}
and $\Theta$ is a complete congruence relation, it follows
from condition-(J) that
\begin{equation}\label{E:cong}
42 Chapter 1 Typing your first article
At the end ofthe body, the bibliographie entries are typed between the lines
\begin{thebibliography}{9}
and
\end{thebibliography}
There are fewer than 10 references in this article, so we tell H\TlY( to make room
for single-digit numbering by providing the argument 9 to the thebibliography
environment; use 99 if the number of references is between 10 and 99. The typeset
bibliography will be titled References.
Here is the bibliography from intrart. tex:
\begin{thebibliography}{9}
\bibitem{sF90}
Soo-Key Foo,
\emph{Lattice Constructions},
Ph.D. thesis,
University of Winnebago, Winnebago, MN, December, 1990.
\bibitem{gM68}
George-A. Menuhin,
\emph{Universal Algebra},
D.-van Nostrand, Princeton, 1968.
\bibitem{eM57}
1.7 The anatomy of an article 43
Ernest-T. Moynahan,
\emph{On a problem of M. Stone},
Aeta Math. Aead. Sei. Hungar. \textbf{8} (1957), 455--460.
\bibitem{eM57a}
Ernest-T. Moynahan,
\emph{Ideals and eongruenee relations in lattiees.} 11,
Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{O}zl. \textbf{9}
(1957),417--434.
\end{thebibliography}
The body (and the artide) ends when the doeument environment is dosed with
\end{doeument}
A construction of complete-simple
distributive lattices
George A. Menuhin*
Computer Science Department
Winnebago, MN 23714
menuhin@cc. uwinnebago.edu
Abstract
In this note, we prove that there exist complete-simple distributive
lattices, that is, complete distributive lattices in which there are only two
complete congruences.
1 Introd uction
In this note, we prove the following result:
II*(Dili E I) = II(Di li E I) + 1;
that is, II*(Di I i E I) is II(Di I i E I) with a new unit element.
Notation 1 If i E land d E Di, then
( ... ,0, ... ,d, ... ,0, ... )
is the element of II*(Di Ii E I) whose i-th component is d and all the other
components are O.
"Research supported by the NSF under grant number 23466.
1
1.7 The anatomy of an article 45
( ... , d, ... ,0, ... ) == (... , c, ... ,0, ... ) (mod 8), (1)
then 8 = L.
Proof. Sinee
( ... , d, ... ,0, ... ) == (... , c, ... ,0, ... ) (mod 8), (2)
(... ,d, ... ,o, .. ·)==V((· .. ,c, ... ,o, ... )ld:S;c<l) (mod8). (3)
Let j E I, j 1:- i, and let 0 E Dj. Meeting both sides of the eongruenee (2)
with (... , a, ... , 0, ... ), we obtain that
henee 8 = L.
References
[1] Soo-Key Foo, Lattice Constructions, Ph.D. thesis, University of Winnebago,
Winnebago, MN, Deeember, 1990.
[2] George A. Menuhin, Universal Algebra, D. van Nostrand, Princeton, 1968.
[3] Ernest T. Moynahan, On a problem of M. Stone, Aeta Math. Aead. Sei.
Hungar. 8 (1957), 455-460.
[4] Ernest T. Moynahan, Ideals and congruence relations in lattices. II, Magyar
Tud. Akad. Mat. Fiz. Oszt. Közl. 9 (1957), 417-434.
2
46 Chapter 1 Typing your first article
\begin{document}
\title{titlelinel\\
titleline2}
\author{name\thanks{support}\\
addresslinel\\
addressline2\\
addressline3}
\date{date}
\maketitle
\begin{abstract}
abstract text
\end{abstraet}
\begin{thebibliography}{99}
bibliographie entries
\end{thebibliography}
\end{document}
The document artiele2. tpl is identical to artiele. tpl except for the ar-
gument of the \author command which is expanded to accommodate two au-
thors:
1. 9 Your first article 47
\author{namel\thanks{supportl}\\
addressllinel\\
addresslline2\\
addresslline3
\and
name2\thanks{support2}\\
address2linel\\
address2line2\\
address2line3}
Note the use of the \and command, which separates the two authors.
Once you have copies of the template files in your work directory, you can
customize them by putting YOUf own information into the arguments of the top-
matter commands. You may also want to save YOUf modified templates in another
directory, with more meaningful names. My templates are named ggart . tpl and
ggart2. tpl.
The top matter of my personalized template file looks like this:
\title{titlelinel\\
titleline2}
\author{G. Gr\"{a}tzer\thanks{Research supported by the
NSERC of Canada.}\\
University of Manitoba\\
Department of Mathematics\\
Winnipeg. MB R3T 2N2\\
Canada}
\date{date}
Notice that I did not edit the \title lines (or the \date command) because
they change from artide to artide. I also left the second author's information un-
changed in ggart2 . tpl.
1. If necessary, break the title into separate lines with \ \. Do not put a \ \ at the
end of the last line.
2. \thanks places a footnote at the bottom ofthe first page. Ifit is not needed,
delete it.
3. Separate the lines ofyour address with \ \. Do not put a \ \ at the end ofthe
last line.
4. Multiple authors are separated by \and. There is only one \author command,
and it contains all the information (name, address, support) about the authors.
There is no \ \ command before the \and command.
5. Ifthere is no \date command, Ib-TEX will insert the date on which you are type-
setting the file (\date{\today} will produce the same result). Ifyou do not
want any date to appear, type \daten. For a specific date, such as February
21,2000, type \date{February 21, 2000}.
6. The \ti tle command is the only required command. The others are optional.
1. 9.2 Sectioning
An artide, as a mle, is divided into sections. To start the section entitled Introduc-
tion, type
\section{Introduction}\label{S:intro}
Introduction is the title of the section; S: intro is its label. (I use the conven-
tion that S: starts the label for a section.) The section's number is automatically
assigned by .fb.Tr;X; you can refer to this section number with \ref{S: intro}:
In Section-\ref{S:intro}, we introduce
\begin{theorem}\label{T:xxx}
and
\end{theorem}
where T: xxx is the label for the theorem. (You should replaee xxx with a label that
is somewhat deseriptive of the contents of your theorem.) IbTEX will automatieally
assign a number to the theorem, and the theorem ean be refereneed by using a
command of the form \ref {T : xxx}.
\begin{thebibliography}{9}
\bibitem{sF90}
Soo-Key Foo,
\emph{Lattiee Construetions},
Ph.D. thesis,
University of Winnebago, Winnebago, MN, Deeember, 1990.
\bibitem{gM68}
George-A. Menuhin,
\emph{Universal Algebra},
D.-van Nostrand, Prineeton, 1968.
\bibitem{eM57}
Ernest-T. Moynahan,
\emph{On a problem of M. Stone},
Aeta Math. Aead. Sei. Hungar. \textbf{8} (1957), 455--460.
\bibitem{eM57a}
Ernest-T. Moynahan,
\emph{Ideals and eongruenee relations in lattiees.} 11,
50 Chapter 1 Typing your first article
I use the convention that the label for a \bibitem consists ofthe initials ofthe au-
thor and the year of publication: A publication by Andrew B. Reich in 1987 would
have the label aR87 (a second publication by that author from that year would be
aR87a). For joint publications, the label consists ofthe initials ofthe authors and
the year of publication: A publication by John Bradford and Andrew B. Reich in
1987 would have the label BR87. Of course, you can use any label you choose
(subject to the rule in Section 6.4.2).
A reference to Bradford and Reich's 1987 article is made with \cite{BR87}.
For instance,
can be corrected by viewing the typeset article, finding the errors, and then
editing the source file.
Using a spelling checker before typesetting will help you catch many ofthese
errors: See Seetion 1.13.4 far more information.
Mistakes in the second and third categories will probably trigger errors during
the typesetting process (we looked at a few math errors in Section 1.2.2), some of
which will require correction before your article can be completely typeset.
1.10 YTEX error messages 51
We will now look at some examples of the third dass of errors by deliberately
introducing a number of mistakes into the source file of the introductory I!>TEX
sample article, intrart. tex (in your work directory, source file on pages 39-43,
and shown typeset on pages 44-45), and examining the error messages that occur.
When I!>TEX displays a ? prompt, you can either try to continue typesetting
the document by pressing Return, or type x to stop typesetting immediately. See
Section 1.13.2 for other options.
Example 1 In intrart. tex, go to line 21 (avoid counting lines by using your
editor's Go to Line function or searching for some text) and remove the dosing
brace so that it reads
\begin{abstract
Runaway argument?
{abstract In this note, we prove that there exist \emph \ETC.
! Paragraph ended before \begin was complete.
<to be read again>
\par
1.26
Line 26 of the file is the line after \end{abstract}. From the error message,
you can tell that something is wrong with the command that starts the abstract
environment.
Example 2 Now correct line 21, then go to line 25 and change it from
\end{abstract}
to
\end{abstrac}
and typeset the artide again. I!>TEX will inform you of another error:
LaTeX Error: \begin{abstract} on input line 21
ended by \end{abstrac}.
1.25 \end{abstrac}
You may continue typesetting the artide by pressing Return: I!>TEX will re cover
from this error.
52 Chapter 1 Typing your first article
% \end{abstrac}
Introduce an additional error in line 66. This line reads
1.126 \end{document}
These two mistakes are easy to identif)r: \Teta is a misspelling of \Theta, and
(since \end{abstract} is missing) Jb.TEX is trying to match
\begin{abstract}
with
\end{document}
\begin{definition}\label{D:P*
1.10 lJ1TEX error messages 53
Runaway argument?
{D:P* Let $D_{i}$, for $i \in 1$, be complete distribu\ETC.
! Paragraph ended before \label was complete.
<to be read again>
\par
1.49
Line 49 is the blank line following \end{definition}. The error message is easy
to understand: You cannot begin a new paragraph (\par) within the argument of
a \label command.
Dndo the change to line 38.
! Missing $ inserted.
<inserted text>
$
1.54
There can be no blank lines within a displayed math environment. J!>.TE,X catches
the mistake, but the line number reported in the error message is incorrect and the
message itself is misleading.
Example 6 Add a $ somewhere in line 53 (such errors often occur when copying
and pasting formulas):
You cannot have a $ (an inline math delimiter) in a displayed math formula. J!>.TEX
catches the mistake, but the line number in the error message is wrong.
54 Chapter 1 Typing your first article
Example 7 Error messages from l5\TEX are not always as helpful as they could be,
but there is always some information that can be gleaned from them. In Theorem 1
ofintrart. tex, delete the second $ symbol, changing $K$ to $K. You will get the
error message
1.33 \end{theorem}
Since there is no list, there can be no missing \item. The last line of the error
message teIls you to look at the theorem environment.
As a rule, the error message should at least tell you the line number (or para-
graph or formula) where l5\TEX realizes that there is a problem. Try to identifY the
structure (the command or environment) that caused the error-read the section
of this book that describes that command or environment. Doing so should help
you correct the error. Keep in mind that the error could be quite far from the line
l5\TEX indicates, but will always be on or before that line in the source file.
Ifyou have difficulty isolating a problem, create a current. tex file that has
the same preamble as your current source file and an empty document environ-
ment. Then copy the paragraphs you suspect might have problems into this doc-
ument one by one and track down the errors. Once your new document typesets
correctly, copy the paragraph back into your real document, and work on another
paragraph. If necessary, split a large paragraph into smaller pieces. See also Sec-
tion 2.5 on how to use the comment environment to help you find errors.
To a large extent you can prevent having to isolate problems by typesetting
often. For instance, ifI were to typeset First Steps into IßTEX [30], with the cIosing
brace ofthe first \caption command on line 480 ofthe source file missing, I would
get the error message
where the reference is to line 1227 (about 700 lines removed from the actual error).
However, ifthe only thing I had done before typesetting was to insert that figure
(with its incorrect caption command), at least I would know where to look for
errors. If you make a dozen corrections and then type set, you may not know where
to start.
1.11 Logical and visual design 55
giving you a command that typesets all environment names in typewriter style
(see Section 2.6.2). Logically, you have decided that an environment name
should be marked up. Visually, you may change your decision any time. By
changing the definition to
\newcommand{\Ds}{D~{\langle 2 \rangle}}
If a referee or coauthor suggests a different notation, editing this one line will
change the notation throughout the entire artide.
\.\.",.
':'I::Jo': ••
.,'0
~-J.:..#t. .... ,
,
, TEX
.: Fonts Fonts
My view of the structure of TEX and IbTEX is illustrated in Figure 1.4. This
figure suggests that in order to work with a IbTEX document, you first have to in-
stall TEX and the CM fonts, then IbTEX, and finally specity the document dass and
the necessary packages. The AMSFonts font set is very useful, but not absolutely @
necessary.
Your computer uses a video driver (DVI viewer) to display the typeset article,
myart. dvi, on your monitor; a (Dvr) printer driver to print the typeset artide on
a printer; and a (DVI) PostScript driver (DVI to PS converter) to convert the typeset
artide to PostScript format. (For Macintosh and pe implementations ofTEX, the
PostScript converters are often in the Save as option of the printer driver dialog
boxes; for most UNIX implementations, the printer driver and the PostScript driver
are separate applications.)
It should be emphasized that of the four applications used (TEX and the three
drivers), only one (TEX) is the same for all computers and all implementations. If
you use TEX in an integrated environment, the four applications may even appear
to be a single application.
I
t
,,<at< lex I edllor print DVl prinrer dri"er
edit
myart.tex
TEX
Ihe ource file
typeset
with
LaTeX format
rite !>"peset
,"crsi n on thc
monitor
:i i :$ ; i i ;Zi ; ;
The AMS document classes do not automatically load the amssymb package, which @
provides math symbol names. This package and other AMS or Jb.TEX packages can
beloaded~needed.
When we discuss a feature of Jb.TEX that requires a package, I mention it in the
text. I do not always point out, however, the interdependencies of the document
classes and of the packages. For instance, the \text command (Section 2.9) is
provided by the amstext package, which is loaded automatically by the amsmath @
package, which is, in turn, loaded automatically by all the AMS document classes.
These interdependencies are discussed in Section 8.6.
• The ** prompt means that Jb.TEX needs to know the name of a source file to
typeset. This usually means that you misspelled a file name, you are trying to
typeset a document that is not located in TEX's current directory, or that there
is aspace in the name ofyour source file.
• The ? prompt indicates that Jb.TEX has found an error in your source file, and
wants you to decide what to do next. You can try to continue type setting the
file by pressing
- Return
- q to typeset in quiet mode, not stopping far errors (depending on the nature
of the error, Jb.TEX may either recover or generate error messages)
- x to stop typesetting your file
- h to get advice on how to correct the error
You can either type the correct name of the file at the prompt, or type x to quit
Jb.TEX.
1.13 Using YTEX 61
• The * prompt signifies that LATEX is in interactive mode and is waiting for instruc-
tions. To get such a prompt, comment out the line
\end{document}
in a source file by inserting a %symbol as the first character of the line; then
typeset the file. Interactive instructions (such as \show and \showthe-see Sec-
tion 9.1.7) may be given at the * prompt. To exit, type
\end{document}
1.13.3 Versions
A complete U\TEX distribution consists of hundreds of files, aB of which interaet.
Since most of these files have had many revisions, you should make sure that they
are aB up-to-date and compatible with each other. You can check the version num-
bers and dates by reading the first few lines of each file in a text editor or by check-
ing the dates and version numbers that are shown on the list created by the com-
mand \listfiles, which I discuss later in this section.
U\TEX has been updated every six months; while writing this book, I used the
version ofU\TEX that was issued on Tune 1, 1999. Starting with the year 2000,
updates will be issued onee a year.
When you typeset a U\TEX doeument, U\TEX prints its release date in the log
file with a line such as
LaTeX2e <1999/06/01>
Ifyou use a U\TEX feature that was introdueed recently, you ean put a command
such as the following into the preamble of your source file:
\NeedsTeXFormat{LaTeX2e} [1999/06/01]
This eommand specifies the date of the oldest version of U\TEX that may be used
to typeset your file. If someone attempts to typeset your file with an older version,
U\TEX will generate a warning.
The AMS math packages (in particular, amsmath) and document classes are at
version 2.0; and the AMSFonts set is at version 2.2e. See Section 13.1 tür more
information on obtaining updated versions.
Ifyou include the \listfiles command in the preamble ofyour document,
the log file will contain a detailed listing of all the files used in the typesetting of
your document. Here are the first few (truncated) lines from such a listing:
62 Chapter 1 Typing your first article
*File LisU
book.cls 1999/01/07 vl.4a Standard LaTeX document class
leqno.clo 1998/08/17 vl.lc Standard LaTeX option
bkl0.clo 1999/01/07 vl.4a Standard LaTeX file
LaTeXB3.sty 1999/04/15 Commands for LaTeX book, third edition
amsmath.sty 2000/01/06 v2.04 AMS math features
amstext.sty 1999/11/15 v2.0
amsgen.sty 1999/11/30 v2.0
amsbsy.sty 1999/11/29 vl.2d
amsopn.sty 1999/12/14 v2.01 operator names
amsthm.sty 1999/12/16 v2.01
verbatim.sty 1997/04/30 vl.5k verbatim enhancements
amsxtra.sty 1999/11/15 vl.2c
eucal.sty 1995/01/06 v2.2 Euler Script fonts
amssymb. sty 1996/11/03 v2.2b
amsfonts.sty 1997/09/17 v2.2e
omxcmex.fd 1999/05/25 v2.5h Standard LaTeX font definitions
latexsym.sty 1998/08/17 v2.2e Standard LaTeX package
amscd.sty 1999/11/29 v2.0
alltt.sty 1997/06/16 v2.0g defines alltt environment
xspace.sty 1997/10/13 vl.06 Space after command names
graphics.sty 1999/02/16 vl.01 Standard LaTeX Graphics
trig.sty 1999/03/16 vl.09 sin cos tan
This list looks quite up-to-date (in fact, it is completely up-to-date). To confirm
this, open the file alltt.sty in the latest gTEX distribution; you will find the lines
\ProvidesPackage{alltt}
[1997/06/16 v2.0g defines alltt environment]
• Macintosh
- Excalibur
http://www.eg.bucknell.edu/-excalibr/excalibur.html
1.13 Using lilTEX 63
• pe
- jspell
ftp://ftp.tex.ac.uk/pub/archive/support/jspell/
- Trigram Systems' Microspell
Available from Y&Y (http://www.yandy.com!). among other sourees.
- TEXSpell
Comes with PCTEX for Windows.
• UNIX
- ispell is the spelling checker of choice.
All three computer platforms also have a variety of freeware, shareware, and
commercial "TEX-aware" text editors with features that include syntax coloring,
automatie completion ofU\TEX commands and environments, and management of
\label and \ref entries. Using such a text editor can make working with U\TEX
much more pleasant and efficient.
If you look at the source files of the sample articles, your first impression may
be how very verbose U\TEX iso In actual practice, however, U\TEX is fairly easy to
type. You should be able to train your editor so that a single keystroke produces
the text:
\begin{theorem}\label{T:}
\end{theorem}
with the cursor immediately following the colon (where you type the label).
Customizing U\TEX will make repetitious structures such as
\begin{equation}
\langle 0, \dots, d, \dots, 0, \dots \rangle \equiv
\langle 0, \dots, c, \dots, 0, \dots \rangle \pmod{\Theta},
\end{equation}
(3.1) (O, ... ,d, ... ,O, ... ) == (O, ... ,c, ... ,O, ... ) (mod B),
(see page 294) become much shorter and (with practice) more readable. Utilizing
the user-defined commands \con (for congruence), \vct (tor vector), and \gO (for
Greek theta), this formula can be typed as
\begin{equation}
\con \vct{d}=\vct{c}(\gO),
\end{equation}
A
I
Math symbol tables
g\1EX
\aleph
amssymb@
\beth .J
\daleth 1
\gimel J
456 AppendixA
Jb.1EX
\alpha a \iota [ \sigma er
\beta ß \kappa K, \tau r
\gamma 'Y \lambda A \upsilon v
\delta 0 \mu J.t \phi cP
\epsilon E \nu 1/ \chi X
\zeta ( \xi ~ \psi 'ljJ
\eta TJ \pi 7r \omega w
\theta () \rho p
U\TEX variants
\varepsilon E: \varpi w \varsigma \"
\vartheta {) \varrho f2 \varphi 'P
amssymb@
\digamma F \varkappa
Uppercase
Jb.1EX
\Gamma r \Xi ~ \Phi <I>
\Delta ~ \Pi II \Psi W
\Theta e \Sigma E \Omega n
\Lambda A \Upsilon Y
amsmath@
\varGamma r \varXi ~ \varPhi P
\varDelta L1 \varPi II \varPsi lJI
\varTheta 8 \varSigma E \varOmega [l
\varLambda A \varUpsilon Y
A.2 Binary relations 457
\subseteq C \supseteq ~
latexsym
\sqsubset C \sqsupset =:J
\Join I><l
458 AppendixA
\lessapprox <
:::::: \gtrapprox >
::::::
\approxeq ::::::
\lessdot <:: \gtrdot ;>
\111 «< \ggg »>
\lessgtr :S \gtr1ess ;e:
\lesseqgtr < \gtreq1ess >
\lesseqqgtr
~ \gtreqq1ess
5
> <
\doteqdot --'-
--;- \eqcirc
\circeq .2..
\triang1eq .!l.
\risingdotseq -.:
;- \fa11ingdotseq '--,
-
\backsim \thicksim
\backsimeq \thickapprox ::::::
\preccur1yeq ~ \succcur1yeq ~
\cur1yeqprec d< \cur1yeqsucc ~
\precsim ~
rv \succsim >-
rv
\precapprox -<
:::::: \succapprox >-
::::::
\subseteqq C \supseteqq J
\Subset <S \Supset 2>
\vartriang1e1eft <J \vartriang1eright I>
\triang1e1efteq <J \triang1erighteq I>
\vDash 1= \Vdash If-
\Vvdash 1If-
\sma11smile \sma11frown ,-,
\shortmid \shortpara11e1 11
\bumpeq ~ \Bumpeq ~
\between Ö \pitchfork m
\varpropto cx \backepsilon )
\b1acktriang1e1eft ~ \b1acktriang1eright ~
\therefore \because
A.2 Binary relations 459
Jb.1EX
\neq or \ne \notin
amssymb@
\nless 1- \ngtr 'f
\nleq i \ngeq t
\nleqslant i \ngeqslant 'j
\nleqq t \ngeqq ~
\lneq :;; \gneq 2:
\lneqq ~ \gneqq >
+=
\lvertneqq ~ \gvertneqq ~
\lnsim <
rf-'
\gnsim >
rf-'
\precnapprox -<
:;t; \succnapprox »-
:;t;
\nsim \ncong
*'
rf-'
\nshortmid \nshortparallel !i
\nmid f \nparallel {t
\nvdash J.L \nvDash ~
\bigtriangleup L, \bigtriangledown V
\oplus E8 \ominus 8
\otimes ® \oslash 0
\odot 8 \bullet •
\dagger t \ddagger :j:
\setminus \ \uplus l±J
\wr \amalg II
\ast \star
* *
\diamond 0
latexsym
\lhd <l \rhd [>
amssymb@
\dotplus + \centerdot
\ltimes ~ \rtimes ><l
\leftthreetimes A \rightthreetimes A
\circleddash 8 \smallsetminus "-
\barwedge A. \doublebarwedge 1\
\curlywedge J.. \curlyvee y
\veebar ':!. \intercal T
\doublecap or \Cap rfil \doublecup or \Cup l!!J
\circledast ® \circledcirc @
\boxminus B \boxtimes l:i?J
\boxdot 0 \boxplus EB
\divideontimes \vartriangle
* I:':.
amsmath@
\And &
A.4 Arrows 461
A.4 Arrows
AA.l M-TjjX arrows
Source Type Typeset Type Typeset
Jb.TE;X
\leftarrow f--- \rightarrow or \ to ----'t
\uparrow i \downarrow 1
\Uparrow 11- \Downarrow JJ.
\updownarrow 1 \Updownarrow ~
\nearrow / \searrow '\,
\swarrow / \nwarrow
\iff
\mapsto
{:::=}
f---+
\mapstochar
\longmapsto ~
""
\hookleftarrow +-' \hookrightarrow ~
\leftharpoonup L-
\rightharpoonup ~
\leftharpoondown ,- \rightharpoondown ~
latexsym
\leadsto
462 AppendixA
AA.2 AMSarrows
Source Type Typeset Type Typeset
amssymb@
\leftleftarrows t= \rightrightarrows ~
\leftrightarrows :::; \rightleftarrows <==
\Lleftarrow ~ \Rrightarrow ~
\twoheadleftarrow *- \twoheadrightarrow ---»
\leftarrowtail ........, \rightarrowtail >->
\looparrowleft <-f' \looparrowright q.....
\upuparrows rr \downdownarrows il
\upharpoonleft 1 \upharpoonright I
\downharpoonleft J \downharpoonright l
\leftrightsquigarrow +vv-+ \rightsquigarrow "'"
\multimap --0
\Lsh \Rsh r
A.5 Miscellaneous symbols 463
,
\smallint J \triangle [::,
\top T \bot 1-
\P \S §
\dag t \ddag +
\flat 0 \natural q
\sharp
.,.~ \angle L
•
\clubsuit \diamondsuit <>
\heartsuit c:; \spadesuit
\surd J \nabla V'
\pounds .f
latexsym
\Box 0 \Diamond 0
\roho U
amssymb@
\hslash fi \complement C
\backprime \nexists ~
\Bbbk Ik \varnothing 0
'"
\diagup / \diagdown
\blacktriangle .& \blacktriangledown T
\triangledown \l \Game ~
•
•
\square D \blacksquare
\lozenge 0 \blacklozenge
\measuredangle L \sphericalangle <[
\circledS
\Finv
@
.:l
\bigstar
\eth *
Ö
464 AppendixA
A.6 Delimiters
Source Name Type Typeset
Tb-TEX
left parenthesis ( (
right parenthesis ) )
left bracket [ or \lbraek [
right bracket ] or \rbraek 1
left brace \{ or \lbraee {
right brace \} or \rbraee }
backslash \baekslash \
forward slash / /
left angle bracket \langle (
right angle bracket \rangle )
verticalline I or \vert 1
double verticalline \I or Wert 11
left floor \lfloor l
right floor \rfloor J
left ceiling \leeil r
right ceiling \reeil l
upward \uparrow i
double upward \Uparrow 11'
downward \downarrow !
double downward \Downarrow ,J).
up-and-down \updownarrow 1
double up-and-down \Updownarrow ~
amsmath@
upper-Ieft corner \uleorner r
...,
upper-right corner \ureorner
lower-Ieft corner \lleorner L
A.7 Operators
A.7.1 "Pure" operators, with no limits
Type Typeset Type Typeset Type Typeset Type Typeset
\arccos arccos \cot cot \hom horn \sin sm
\arcsin arcsin \coth coth \ker ker \sinh sinh
\arctan arctan \csc csc \lg 19 \tan tan
\arg arg \deg deg \ln in \tanh tanh
\cos cos \dim dirn \log log
\cosh cosh \exp exp \sec sec
Jb.1EX
\det det \limsup lirnsup
\gcd gcd \max rnax
\inf inf \min rnin
\lim lirn \Pr Pr
\liminf lirninf \sup sup
amsmath@
\injlim inj lirn \projlim proj lirn
\varliminf lirn \varlimsup lirn
\varinjlim lirn \varprojlim lirn
---> r-
466 AppendixA
\int_{aY{b} f: l b
\oint_ {aY{b} f: i b
rr
n
\prod_{i=lY{n} I1~1
i=1
n
\coprod_{i=l}~{n}
1I~=1 Il
i=1
n
n
\bigcap_{i=l}~{n}
n~=1
i=1
n
\bigcup_{i=l}~{n}
U~=1 U
i=1
n
\bigwedge_{i=l}~{n}
1\~=1 1\
i=1
n
\bigvee_{i=l}~{n} V~1 V
i=1
n
\bigsqcup_{i=l}~{n}
U~=1 U
i=1
n
\biguplus_{i=l}~{n}
1:tJ~=1 l±J
i=1
n
\bigotimes_{i=l}~{n}
®~=1 ®
i=1
n
\bigoplus_{i=l}~{n} E9~=1 EB
i=1
n
\bigodQt_{i=l}~{n}
O~=1 0i=1
n
\sum_ {i=lY{n} 2:~=1 L
i=1
A.B Math accents and fonts 467
\dot{a} a \spdot
\ddot{a} ä \spddot
\dddot{a} a \spdddot
\ddddot{a} a
\grave{a} a
\hat{a} a
\widehat{a} a \sphat
\mathring{a} ä
\tilde{a} ii
\widetilde{a} a \sptilde
\vec{a} Ci
468 AppendixA
A.8.2 Mathfonts
Source Type Typeset
~1EX
\mathbf{A} A
\mathcal{A} A
\mathit{A} A
\mathnormal{A} A
\mathrm{A} A
\mathsf{A} A
\mathtt{A} A
amsmath@
\boldsymbol{\alpha} a
amssymb@
\mathbb{A} A
\mathfrak{A} 2l
Positive space
1 mu (math unit) \mspace{lmu}
thinspace \, \thinspace
medspace \: \medspace
thickspace u \; \thickspace
lern LJ \quad
2em ~ \qquad
Negative space
1 mu \mspace{-lmu}
thinspace \! \negthinspace
medspace \negmedspace
thickspace u \negthickspace
APPENDIX
B
I
Text symbol tables
grave \'{o} 0
dotless i \i dotless j \j
\ '{\i} \v{\j} j
Positive Space
Normal varies u
Intersentence varies \~.u
Interword varies \u
Italic eorr. varies \/u
Tie vanes
Thinspace \, \thinspace
Medspace \: \medspace
Thickspace u \; \thickspace
lern LJ \quad
2em L-.....J \qquad
Negative Space
Thinspace \! \negthinspace
Medspace \negmedspace
Thickspace u \negthickspace
c
APPENDIX
I
Background
While you do not need to know anything ab out IbTEX's structure and history to
use it, such knowledge may help you understand how and why IbTEX works the
way it does.
TEX does all this and more on almost any computer: PC, Macintosh, Atari, Amiga,
UNIX, workstation, minicomputer, or mainframe. You ean write your doeument
on a PC and e-mail it to a eoworker who makes eorreetions on a Macintosh. The
final manuseript might be sent to a publisher who uses a mini computer to prepare
the doeument for printing.
Knuth realized that typesetting is only half the solution to the manuseript pro-
duction problem. You also need a style designer-a specialist who determines what
fonts will be used, how large a vertieal spaee to put before and after a theorem, and
numerous other design issues.
Knuth also realized that typesetting a eomplex doeument in TEX requires a
very knowledgeable user. So TEX was designed as a platform on whieh convenient
work environments-maero paekages-eould be built, whieh would be more suit-
able for the average user to work with. It is somewhat unfortunate that two such
maero paekages were made available to the mathematieal eommunity in the early
1980s: A\,1S-TEX and H\TEX.
A.N{S- TEX was written by Michael D. Spivak for the American Mathematieal
Society, whereas H\TEX was developed by Leslie Lamport. The strengths of the
two systems were somewhat complementary. AMS-TEX provided many features
needed by mathematieal articles, including
• The use oflogieal units to separate the logical and the visual design of an article
• Automatie numbering and eross-referencing
• Bibliographie databases
Both A.N{S-TEX and H\TEX beeame very popular, eausing a split in the mathemat-
ieal eommunity as some chose one system over the other.
C.1.1 YTp;X3
When Lamport decided not to develop H\TEX any further, the YTEX3 team2 took
over with the aim of aetively supporting, maintaining, and updating H\TEX.
The goals for H\TEX3 are very ambitious; H\TEX3 will
• Provide high-quality typesetting for a wide variety of doeument types and typo-
graphie requirements
2 A talented group of mathematicians and programmers, Frank Mittelbach, Chris Rowley, and Rainer
Schöpf. The group has since expanded with the addition of}ohannes Braams, David Carlisle, Michael
Downes, Denys Duchier, Robin Fairbairns, Alan Jeffrey, and Martin Schröder; many volunteers have
also contributed to the project.
Gi A short history 477
• Support direct formatting commands for editors and designers, which are essen-
tial to the fine-tuning of document layout and page design
• Process complex structured documents and support a document syntax that al-
lows automatic translation of documents conforming to the international docu-
ment-type definition standard SGML (Standard Generalized Markup Language,
ISO 8879)
• Provide a common foundation for a number ofincompatible IbTEX variants that
have been developed, including IbTEX with the New Font Selection Scheme and
the AMS packages
See two articles by Frank Mittelbach and Chris Rowley, JJ1TEX 2. 09 ----> JJ1TEX3 [44]
and The JJ1TEX3 Projeet [46], for a complete statement of goals and a progress re-
port.
A number of projects have already been completed that will be part ofIbTEX3,
including the following:
The New Font Selection Scheme. IbTEX uses Knuth's Computer Modern fonts.
In 1989, Frank Mittelbach and Rainer Schöpf wrote the New Font Selection
Scheme, NFSS, which allows the independent ehanging of font attributes and
the integration of new font families into IbTEX. With the proliferation of
PostScript fonts and printers, more and more users want to use PostScript
fonts in their IbTEX documents.
AMS- TEX as a li\TEX package. Frank Mittelbach, Rainer Schöpf, and Michael
Downes recoded AMS- TEX so that it would work as a IbTEX package.
Proclamations with style. All proclamations in IbTEX were typeset in the same
style, whether they were a Main Theorem or a lowly Comment. Mittelbach
and Schöpf ereated a sophisticated sehe me that allowed proclamation styles
to be specified.
New and improved environments. Rainer Schöpfimproved the verbatim and
comment environments and Frank Mittelbach wrote a new multicolumn en-
vironment. There have also been several improvements made to the tabular
and array environments.
In 1990, the AMS released AMS-IbTEX, version 1.0. This release contained
• AMS- TEX recoded to work with IbTEX
• The NFSS styles for proclamations
• The new verbat im environment
AMS-IbTEX, version 1.0, was a IbTEX dialeet, incompatible with the then current
IbTEX (version 2.09).
478 Appendix C Background
While the IbTEX3 team wanted to unity the mathematical community, their
first attempt split it even further apart. Many AMS-TEX users simply refused to
switch. Even the IbTEX community was split into users of the old IbTEX, those
whose IbTEX incorporated the NFSS, and AMS-IbTEX users.
When it became obvious that the IbTEX3's goals could not be fulfilled any time
soon, the IbTEX3 team decided to issue a new version of IbTEX, version 2e (also
called IbTEX2,d in June of 1994. This version replaced IbTEX 2.09; see the two
Mittelbach and Rowley articles cited above. This interim release accomplished so me
of IbTEX3's goals, induding the projects listed previously. Since then, IbTEX2 E
(called IbTEX in this book) has become accepted as the standard IbTEX.
In February of 1995, the AMS released version 1.2 of AMS-IbTEX (which I
call the AMS packages in this book) built on top of IbTEX. Michael Downes was
the project leader.
The changes in A.MS- IbTEX were substantial. The align environment, for
example, was completely rewritten by David M. Jones. The recoded AMS-TEX
had now become a IbTEX package, amsmath.
It is extremely important to note that while AMS-IbTEX 1.1, was a monolithic
structure, versions 1.2 and 2.0 (see Section C.1.2) are just collections ofpackages
that fit nicely into the IbTEX model. You can use one AMS package or all, by them-
selves or mixed with other IbTEX packages. This book uses a IbTEX document dass
(book) and the AMS packages, version 2.0, along with a number of other IbTEX
(non-AMS) packages.
I trust that this attitude will also change in time, just as Jb.TEX 2.09 won out
over Plain TEX, and Jb.TEX has taken the place of Jb.TEX 2.09. Maybe this third
edition will help this process along.
virtex TEX's core, containing about 350 primitive commands such as \input,
\accent, and \hsize. virtex can also read format files, which are precom-
piled sets of macros. Jb.TEX is nothing more than virtex reading in a large
set of macros, built layer upon layer.
plain. tex The most basic layer built on virtex, written by Donald E. Knuth.
It adds ab out 600 commands to virtex. When you type the tex command,
virtex loads the plain format, which is the default; the core TEX com-
mands combined with the commands defined by the plain format are called
Plain TEX.
Jb.TEX is a format file containing a compiled set of macros written by Leslie Lamport
and others. It provides tools for logical document design, automatie numbering
and cross-referencing, tab1es of contents, and many other features.
Document classes
The document dass forms the next layer. You may choose to use a standard Jb.TEX
document dass, such as article, book, letter, proc, report, or slides; one
provided by the AMS, such as amsart, amsbook, or amsproc; or any one of a large
(and growing) nu mb er of other document dasses provided by publishers of books
and journals, universities, and other interested parties.
480 Appendix C Background
Packages
The next layer is made up of the packages loaded by the document. You can use
standard J.b.TEX packages, AMS packages, or any of hundreds of other packages in
the J.b.TEX universe, mixed together as necessary. Any package may require other
packages, or may automatically load other packages.
Documents
At the top of this hierarchy sit your documents, with their user-defined commands
and environments, utilizing all the power derived from the layers below.
C.2.2 Typesetting
When typesetting, TEX uses two basic types of files: the source files and the font
metric files.
A font metric file is designed to hold the information for a font of a given size
and style. Each TEX font metric file, called a tim file, contains the size of each char-
acter, the kerning (the space placed between two adjacent characters), the length
of the italic correction, the size of the interword space, and so on. A typical tim
file is cmr10. tim, which is the TEX font metric file for the font cmr (CM roman)
at 10-point size.
TEX reads the source file one line at a time. It converts the characters of each
line into a token sequence; a token is either a character (together with an indication
of what role the character plays) or a macro. The argument of a macro is the token
following the macro unless a group enclosed in braces follows the macro, in which
case the contents ofthe group becomes the argument. 3 (An example ofthis behav-
ior can be seen when you specity an exponent; TEX looks for the next token as the
exponent unless a group enclosed in braces follows the - symbol. Now you should
understand why $2-3$ and $2-\alpha$ work, but $2-\mathirak{m}$ does not:
3 and \alpha each become a single token but \mathirak{m} becomes more than
one (four, in fact). Of course, ifyou always use braces, as in
then you will never have to think about tokens in order to type such expressions. )
After tokenizing the text, TEX hyphenates it and attempts to split the para-
graph into lines of the required width. The measurements of the characters (also
called glyphs) are absolute, as are the distances between characters (kerning). The
spaces (interword space, intersentence space, and so on) are made of glue (rub-
ber length in Section 9.5.2). Glue has three parameters: the length of the space,
stretchability (the amount by which it can be made longer), and shrinkability (the
amount by which it can be made shorter). TEX will stretch and shrink glue to do
its best to form lines of equallength.
TEX employs a formula to measure how much stretching and shrinking is nec-
essary in a line. The result is called badness. A badness ofO is perfeet; a badness of
10,000 is very bad. Lines that are too wide are reported with messages such as
Once enough paragraphs are put together, TEX composes a page from the
type set paragraphs using vertical glue. A short page will generate a warning mes-
sage such as
\newlabel{struct}{{5}{2}}
\bibcite{eM57a}{4}
The first entry indicates that a new symbolic reference was introduced on page 2
of the typeset document in Section 5 using the command
482 Appendix C Background
\label{struct}
glo Contains the glossary entries produced by \glossary commands. A new file
is written only if there is a
\makeglossary
idx Contains the index entries produced by \index commands. A new file is writ-
ten only if there is a
\makeindex
lof Contains the entries used to compile a list of figures. A new file is written only
ifthere is a
\listoffigures
lot Contains the entries used to compile a list of tables. A new file is written only
ifthere is a
\listoftables
toc Contains the entries used to compile a table of contents. A new file is written
only if there is a
C.2 How does JjlTEX work? 483
\tableofcontents
For information about the auxiliary files created by BIBTE)( and Makelndex,
see Seetions 10.2.4 and 11.3, respectively. Some classes and packages create addi-
tional auxiliary files (see Seetion 14.3.3 for an example).
Bibliography
[1] Paul W. Abrahams, Karl Berry, and Kathryn A. Hargreaves, TEXfor the Impatient.
Addison-Wesley, Reading, MA, 1990.
[2] Adobe Systems, PostScript Language Reference Manual. Third edition. Addison-
Wesley, Reading, MA, 1999.
[4] Adobe Systems, Adobe Acrobat 4.0 Classroom in a Book. Adobe Press, 1999.
[6] ___ , AMSFonts, Version 2.2 User's Guide. Providence, RI, 1997.
[7] ___ , User'sguidefor the amsmathpackage (version 2.0). Providence, RI, 1999.
[8] Alison Black, Typefacesfor Desktop Publishing: A User Guide. Architecture Design and
Technology Press, London, 1990.
[9] Robert Bringhurst, The Elements ofTypographic Style. Second edition. Point Roberts,
WA: Hartley & Marks, 1996.
[10] Judith Butcher, Copy Editing: Thc Cambridge Handboo'k. Second edition. Cambridge
U niversity Press, London, 1981.
[11] Pehong Chen and Michael A. Harrison, Index preparation and processing. Software
Practice and Experience 19 (9) (1988), 897-915
[12J Thc Chicago Manual of Style. 14th edition. University of Chicago Press, Chicago,
1993.
[13] Kiersten Conner and Ed Krol, Whole Internet: Tbe Next Generation. Third edition.
O'Reilly & Associates, Sebastopol, CA, 1999.
[14] Michael Doob, TEX Startingfrom ITJ. Springer-Verlag New York, 1993.
522 Bibliography
[15] Lyn Dupre, BUGS in Writing. A Guide to Debugging Your Prose. Revised edition.
Addison-Wesley, Reading, MA, 1998.
[17] Michel Goossens, Frank Mittelbach, and A1exander Samarin, Tbe YTEX Companion.
Addison-Wesley, Reading, MA, 1994.
[18] Michel Goossens, Sebastian Rahtz, and Frank Mittelbach, Tbe YTEX Graphics Com-
panion. Addison-Wesley, Reading, MA, 1997.
[19] Michel Goossens and Sebastian Rahtz (with Eitan Gurari, Ross Moore, and Robert
Sutor), Tbe YTEX Web Companion: Integrating TEX) HTML and XML. Addison-
Wesley, Reading, MA, 1999.
[20] George Grätzer, Math into TEX: A Simple Introduction to A.N(S-YTEX. Birkhäuser
Boston, 1993.
[22] ___ , Advances in TEX implementations. I. PostScript fonts. Notices Amer. Math.
Soc. 40 (1993), 834-838.
[24] ___ , Advances in TEX implementations. III. A new version ofYTEX)finally. No-
tices Amer. Math. Soc. 41 (1994),611-615.
[25] ___ , Advances in TEX. IV. Header and footer control in YTEX. Notices Amer.
Math. Soc. 41 (1994),772-777.
[26] ___ , Advances in TEX. V. Using text fonts in the new standard YTEX. Notices
Amer. Math. Soc. 41 (1994),927-929.
[27] ___ , Advances in TEX. VI. Using math fonts in the new standard YTEX. Notices
Amer. Math. Soc. 41 (1994), 1164-1165.
[29] ___ , General Lattice Tbeory. Second Edition. Birkhäuser Verlag, Basel, 1998.
xix+663 pp.
[30] ___ , First Steps in YTEX. Birkhäuser Boston, Springer-Verlag New York, 1999.
[31] Harley Hahn, Harley Hahn)s Student)s Guide to Unix. Second edition. McGraw-Hili,
New York, 1993.
[32] Horace Hart, Hart)s Rules For Compositors and Readers at the University Press) Ox-
ford. Oxford University Press, Oxford, 1991.
[33] Donald E. Knuth, Tbe Art of Computer Programming. Volumes 1-3. Addison-
Wesley, Reading, MA, 1968-1998.
Bibliography 523
[34] Danald E. Knuth, The TEXbook. Computers and Typesetting. Val. A. Addison-
Weslcy, Reading, MA, 1984, 1990.
[37] _ _~, METAFONT: The Program. Computers and Typesetting. Vol. D. Addison-
Wesley, Reading, MA, 1986.
[38] _ _~, Computer Modern Typefaces. Computers and Typesetting. Vol. E. Addison-
Wesley, Reading, MA, 1987.
[39] Leslie Lamport, YTEX: A Document Preparation System. Second edition. Addison-
Wesley, Reading, MA, 1994.
[40] Ruari McLean, Thc Thames and Hudson Manual ofTypography. Thames and Hudson,
London, 1980.
[41] Thomas Merz, Web Publishing with Acrobat PDF. Springer-Verlag New York, 1998.
[44] Frank Mittelbach and Chris Rowley, YTEX 2.09----; YTEX3. TUGboat, 13 (1) (1992),
96-101.
[45] _ _ , !tlTEX2E -A new l'ersion ofYTEX. TEX and TUG NEWS, 2 (4) (1993),10-11.
[47] _ _ , YTEX3 in )93. TEX and TUG NEWS, 3 (1) (1994), 7-11.
[48] Frank Mittclbach and Rainer Schöpt~ The new font family selcction-user interface to
standard YTEX. TUGboat 11 (1990),297-305.
[49] ChllCk Mllsciano, Bill Kennedy, Mike LOllkides (Editor), HTML: The Definitil'e Guide.
Third edition. O'Reilly & Associates, Sebastopol, CA, 1998.
[50] Ted Padova, Acrobat PDF Bible. lDG Books, Foster City, CA, 1998.
[53] Rainer Schöpt~ A new implementation ofthe YTEX verbat im and verbatim* enl'i-
ronments. TUGboat 11 (1990),284-296.
[54] Raymond Se rolli and Silvio Levy, A Begirmer)s Book of TEX. Springer-Verlag New
York,1991.
524 Bibliography
[55] Wynter Snow, TEX Jor the Beginner. Addison-Wesley, Reading, MA, 1992.
[57] Michael Spivak, Tbe Joy oJ TEX. Second edition. American Mathernatical Society,
Providence, Rl, 1990.
[58] Ellen Swanson, Mathematics into Type. Updated edition. Updated by Arlene Ann
O'Sean and Antoinette Tingley Schleyer. American Mathernatical Society, Provi-
dence, Rl, 1999.
[59] Ed Tittel and Natanya Pitts, HTML4Jor Dummies. Second edition. IDG Books, Foster
City, CA, 1999.
The @ symbol indicates an AMS enhancement to Jb.TEX; italic numbers indicate figures or tables.
accents Exchange,446
in bibliographies, 374 Reader, see Acrobat Reader
European, 11,83-84,470,473 Illustrator, 436, 447
hyphenation ofwords with, 87 PDF Writer (print driver), 445
math, 19, 30, 179-180, 305, 324, 467, Portable Document Format (PDF), see
512,515 under PDF
double, 179, 512 PostScript (Ps), see PostScript
text, 5, 75, 81, 83-84, 470 Adobe Acrobat4.0 Classroom in a Book (Adobe
accents (pack.), 180 Systems), 446
Acrobat Distiller, 445 Adobe Systems, 444--446
Acrobat PDF Bible (Padova), 446 \advancepageno (obs. TEX com.), 509
Acrobat Reader, 445, 449, 450, 452 \ae aesc (30), 84, 469
font encoding used by, 452 \AE Aesc (JE), 84, 469
plug-in for Web browsers, 446 \afterpage (delay com.), 269
acronyms, using small caps far, 96 afterpage (pack.), 269
acute (') afterwords, ofbooks, 411
math accent, 180, 467 \aleph (~ Hebrew char.), 455
text accent, 84, 470 algorithms, ~TEX font-substitution, 99
\acute (1: math accent), 180,467 align (math align. env.) @,34-37,204,213-
\Acute (1: obs. math accent), 512 217,220,223,478,514,205
\addcontentsline (table of contents com.) page breaks in, 234
arguments of, 413, 416 alignat (mathalign. env.) @,204,217-219,
and lists offigures and tables, 416 205
adding lines argument of, 219
to lists offigures and tables, 416 aligned
to table of contents, 413--414 formulas, 34, 36, 37,203-205,213-217,
addition, 16,68, 162 219-221,223,225,234,302,478,
address (BIBTEX database field), 371, 378 510,514
\address text in, 219-220
AMS top matter command, 281 math environments, 234
optional arguments of, 277, 279 align@, 34-37,204,213-217,220,
rules for using, 277-278 223,234,478,514,205
in letters, 268 alignat @, 204, 217-219, 205
top matter command @, 300 eqnarray,203,215-216,510
addresses flalign @, 204, 215, 514, 205
of authars in articles, 48, 277, 281,300 intercolumn space in, 35
in letters, 268 and \ verb commands, 134
\addtocontents (table of contents com.) subsidiary math environments, 220-225
arguments of, 414, 416 aligned @, 204, 221-223, 235
and lists offigures and tables, 416 alignedat @, 221-223, 235
\addtocounter (counter incr. com.), 348 split @,36,204,223-225,235, 302,
\addtolength (counter setting com.), 351 205
adjusted aligned (subsid. math align. env.) @, 204,
columns, 225-234 221-223
formulas, 204, 225-234 and \allowdisplaybreaks commands, 235
flush left and right, 208 alignedat (subsid. math align. env.) @,221-
\adjustfootnotemark (obs. AW- TEX com.), 223
513 and \allowdisplaybreaks commands, 235
adjusting alignment
interline spacing, 100, 118 of columns in tabular environments, 147
placement of root with \sqrt, 167 on decimals, 148,270
Adobe,487 of farmulas, see also under adjusted, 213-
Acrobat 225
Capture, 446 annotated, 36, 37
Distiller,445 commands for, 208, 209
Index alignment - AMS packages 529
asterisk (* text sym.), 85, 472 backslash (\ text sym.), 85, 472
\asymp (::=:.: binary rel.), 457 \backslash (\ math delirn.), 169, 464
at sign (@) badness, 481
in BIBTEX database (bib files), 370 balancing
in \index commands, 399, 400 braces, 77, 82
\atop (obs. TEX com.), 509 errors with, 77-78
\atopwithdelims (obs. TEX com.), 18, 164, in \index commands, 406
509 inline math delimiters, 157-158
warnings genera ted by use of, 18 math delimiters, 171,211
author (BIBTEX database field), 371, 372 \bar (x math accent), 19,30,179,180,467
\author (top-matter com.), 40, 47, 48, 413 \Bar (x obs. math accent), 512
AMS variant, 281, 300 bar, vertical (I)
optional arguments of, 277 text symbol, 85, 472
multiple authors in, 47 \barwedge (/\ math op.) @, 460
authoring tools, for HTML, 442 base (Ib-TEX distr. dir.), 268, 435, 491
authors packages in, 269
information about, 48 base names (offiles), 481
in AMS top matter, 277-279, 281 baseline, of text, 351
multiple, 48 adjusting with setspace, 105
in AMS documents, 281 \baselineskip (Iength com.), 100, 107
in bibliographies, 372 \baselinestretch (length com.), 105
names of \Bbb (obs. AMS com.), 514
in artides, 48, 277, 300 \Bbbk (fk math sym.) @, 463
in running heads, 277 bbl (proc. bibl. files), 386, 388, 389
automatie \because (': binary rel.) @, 458
numbering, xxxii, 33, 34, 39, 49,122,135, \begin (start ofenv.), 73, 77, 511
224,244 Beginners Book ofTEX, A (Seroul & Levy), 519
renumbering, 33, 56 \beginsection (obs. TEX com.), 509
\autoref (hyperref cross-ref. com.), 453, 451 Berry, Kar!, 487, 519
names supported by, 453 font-naming scherne, 487
aux (aux. files), 33, 58, 386, 389,429,481, \beta (ß Greek char.), 456
482 \beth (~Hebrew char.) @, 455
cross-references recorded in, 481 \between (Q binary rel.) @, 458
auxiliary files, see also aux, bbl, bib, blg, bst, Bezos, Javier, 180
glo, idx, ilg, ind, lof, log, lot, \bf (obs. Ib-TEX 2.09 font com.), 100, 315
out, and toc, 415, 428, 482 bfseries (font weight env.), 153
names of, 481 \bfseries (font weight com. dec.), 98, 95,
polishing, 428-429 470
bib (BrBTEX database files), 367, 370-383,
\b underscore text accent U, 84, 470 386
b5paper (doc. dass opt.), 265 accents in, 374
babel (Ib-TEX distr. dir.), 268 AMS, 383, 384-385
babel (pack.), 269, 491, 492 commas (.) in, 371, 372, 391
options of, 491 comments in, 389
back matter, 241, 252-258, 411 cross-referencing within, 378-379
bibliographies in, 241 delimited with parentheses ( ( ) ), 370
numbering of chapters in, 411 delimiters in, 370
index in, 394 double quote (") in, 371, 391, 392
\backepsilon (3 binary rel.) @, 458 en dashes (-) in, 373
\backmatter (struct. com.), 411 entries
\backprime (I math sym.) @, 463 abbreviations in, 382-383
backref (opt. of hyperref pack.), 451 capitalization in, 373
backref (pack.), 451 Jr. in, 372
\backsim ('" binary rel.) @, 458 multiple authors in, 372
\backsimeq (:::::: binary rel.) @, 458 von in, 373
Index bib - binary operations 533
\centerdot (. math op.) @, 460 Chicago Manual of Style, Tbe, 89, 152, 393,
centered ellipses, 19, 165 429,519
\CenteredTagsOnSpli ts (obs. A.NfS-TEX com.), \choose (math com.), 164
512 \choose (U\TEX binomial com.), 17,22,164
centering text, 4,10, 153 obsolete in amsmath, 18, 164
in columns in tabular environments, 147 \eirc (0 math op.), 460
in tables, 146, 149 \circeq (~binary rel.) @, 458
\centering \eirclearrowleft (0 math arrow) @, 462
alignmentcommanddedaration, 149, 154, \circlearrowright (0 math arrow) @, 462
220 \eircledast (® math op.) @, 460
obsolete TEX command, 509 \circledcirc (0 math op.) @, 460
centertags \circleddash (8 math op.) @, 460
AMS document dass option, 302, 304, 512 \circledS (@ math sym.) @, 463
amsmath package option @, 304 circumflex Cl
centimetcr (cm abs. unit), 10, 111, 113, 115, text accent, 84, 470
349 text symbol, 85, 472
\cfrac (math com.) @, 195, 515 \citation (aux. file com.), 387
chapter citations, bibliographie, 34, 50, 256, 385, 387,
BIBTEX database field, 371 508,511,513
counter, 345, 345 created by BIBTEX styles, 374, 385
\chapter (struct. com.), 244, 264, 410 hyperlinks in PDF files for, 451
arguments of, 410 showing in margins, 249
numbering of \eite
equations in, 411 bibliographie command, 34, 50, 256, 387,
in front and back matter, 411 508,511,513
\chaptername (redef. name), 324 with BIBTEX, 385
and hyperref package, 453 multiple citations, 256
chapters optional argument of, 256
in BIBTEX database files, 382 showing contents, in margin, 270
in books, 410 showing labels in margins, 249
document dass options to set start pages spaces in, 256
for,412-413 obsolete AMS- TEX command, 513
grouping into parts, 410 classes (AMS pack. distr. dir.), 383, 384
numbering of, in front and back matter, dasses, document, see document dasses
411 dassification ofmath symbols, 183-184, 190
characters, see also glyphs \cleardoublepage (page-breakingcom.), 107
accented, 19, 30, 75, 179-180, 324,467, \clearpage (page-breaking com.), 107,252
512,515 \cleartabs (obs. TEX com.), 509
European, 11,83-84,469-470,473 dients, FTP, see under FTP
following verbat im environments, 132 \cline (table com.), 149-151, 151
Greek, 27,335,456 cIs (doc. dass files), 242, 323, 356
Hebrew,455 \clubsuit ('" math sym.), 463
invalid, 5,69 cm (centimeter abs. unit), 10, 111, 113, 115,
line-ending, see line-ending characters 349
math, 11,68 CM (Computer Modern) fonts, see Computer
special, 5, 69, 81-83, 469-473 Modern fonts
in HTML, 441, 442 CMacTEX (Macintosh TEX system), 436
in \index commands, 400 cmexl0 (opt. ofamsmath pack.) @, 304, 305,
accessing with \symbol, 82, 269 486
treating text boxes as, 112 cmrl0. tfm (TEX font metric file), 480
\check (x math accent), 180,467 coefficients, binomial, see binomial coefficients
\Check (x obs. math accent), 512 collections, in BIBTEX database files, 377-379
checkers, spelling, 50, 62-63 \colon (: math com.), 186, 513
Chen,Pehong,393,407 colophons, of books, 411
\chi (X Greek char.), 456 color links (opt. of hyperref pack.), 452
Index columns - \complement 537
\dh (eth Eur. ehar.), 473 gather @, 204, 206, 213, 205
\DH (Eth Eur. ehar.), 473 gather* @, 206
\diagdown ("- math sym.) @, 463 \index commands in @, 406
diagonal ellipses, 228 inline-style binomials in, 164
diagrams, commutative, see commutative dia- multline @, 204, 206-209, 205
grams multline* @, 207-209
\diagup (/ math sym.) @, 463 subequations @, 198,213,347
\diamond (0 math op.), 460 visual guide to, 204, 205
\Diamond (0 math sym.), 463 displayed text environments, 129-133
\diamondsui t (<> math sym.), 463 alltt, 62, 133, 164
dieresis, see umlaut multicols, 107,477
diesis (t) proof @, xxxiii, 143-145, 306, 515
math symbol, 463 quotation, 130,352
text symbol, 85, 472 quote,129,352,356
\digamma (F Greek ehar.) @, 456 and stretehable vertieal spaee, 352
\dim (dirn math op.), 174, 465 tabbing, 127-129,508,517,518
dimensions, see also measurements tabular,127,146-153,231,250,270,
units for measuring, 8,10,98,102, 111, 477,508,517,518
113,115,185,349,468 theorem,39,49,54,55
with length eommands, 350 verbatim,131-133,269,270,477
direetories verse,130-131,352,356
AMS distribution, see under AMS paekages xca@, 142
I;\TEX distribution, see under I;\TEX xcb@, 142
samples, see samples displaymath (disp. math env.), 156
strueture of, 420 \displaystyle (math font size com.), 195,
TEX inputs, see under TEX 513
user-defined commands for manipulating, dissertations, in BIBTEX database files, 379-
317 380
work, see work distributing files with filecontents
\displaybreak (display-break com.), 234, 513 environment, 242, 421
optional argument of, 235 distributions
displayed formulas, see displayed math AMS paekages, 204, 242, 268, 307, 383,
environments 384
displayed fractions, see under fraetions I;\TEX, 58, 82, 86,90, 249, 268-271,
displayed math environments, 12, 16, 32-38, 360,384,434,435,450,479,487-
156,203-235 489,491,492
$$ (start and end math mode) on CTAN,435
in A.M8- TEX, 511 PSNFSS, 487-489
in TEX, 508 TEX,479
\[(startmathmode), 12, 156, 159,508, \div (-;- math op.), 162, 460
511 \divideontimes (* math op.) @, 460
\] (end math mode), 12, 156, 159, 508, division, 16, 68, 162,460
511 \dj (dyet Eur. ehar.), 473
aet as special braces, 77, 156 \DJ (Dyet Eur. ehar.), 473
align @, 34-37, 204, 213-217, 220, doc (I;\TEX distr. dir.), 268
223,234,478,514,205 document (struet. textenv.), 7,23,39,43,54,
alignat @, 204, 217-219, 205 73,240
blank lines in, 53, 161,206,207,209 doeument dass options, 58,241, 264-266,
breaking pages in, 234-235, 510, 513 301-305,412-413
displaymath, 156 8pt @, 98, 301
eqnarray,203,215-216, 510 9pt @, 98, 301
equation, 19,32,37,160-161, 197 10pt, 98,264
equation* @, 161, 197 AMS variant, 301
flalign @, 204, 215, 514, 205 11pt, 98, 264
font size in, 195,513 AMS variant, 301
Index document dass options - \documentclass 541
examples old-style, 68
of AMS top-matter commands, 281-284 placement of, 252, 426, 427
of bibliographies, 42-43, 45, 49, 253- file formats
255,367-369,505 tor graphics, 446--447
ofbook document dass, 495-506 EPS, 251, 447,518
ofHTML code, 440--441 GIF, 446, 449
of indexes, 394-397 IPEG, 446, 449
of MathML, 443--444 PNG, 446, 449
of svsing6 document dass, 495-506 for publishing on the World Wide Web,
Excalibur (Macintosh spelling checker), 62 440--450
exdamation marks (!), 5, 68 choosing,447--450
as float controls, 252, 427 file transfer protocol, see FTP
in \index commands, 397, 398,400 filecontents (packaging env.)
Spanish (j), 68,84,85,469,472 distributing files with, 421
terminating sentences with, 70-73 placement of, 242, 421
executivepaper (doc. dass opt.), 265 warnings generated by, 421
exercises, 142-143 files
in books @, 142 AMS package source, see under AMS pack-
within a section @, 142 ages
\exists (:3 math sym.), 463 auxiliary, see aux
exiting, from interactive mode, 61 BIBTEX databases (bib), see bib
\exp (exp math op.), 174, 465
BIRTEX log (blg), see blg
expanding values ofcounters, 85-86, 117, 347
BIRTEX style (bst), see bst
exscale (pack.), 269, 305, 306
dass (cls), see under document dasses
Extended Computer Modern (Ee) fonts, 478
command, see command files
extensibility ofl;\TEX and TEX, 57
distributing with filecontents environ-
ment, 242, 421
Fairbairns, Robin, 476
DVI, see DVI files
\fallingdotseq (~binary rel.) @, 458
Encapsulated PostScript (EPS), see EPS
fancyhdr (pack.), 261
font definition (fd), see fd
FAQ (Frequently Asked Questions), 437
font metric, see also tfm, see under tont met-
\fboxrule (Iength COol.), 114
ries
\fboxsep (length COol.), 114
glossary (glo), see glo
fd (font def. file), 487, 488, 489
hyperref bookmarks (out), see out
Fear, Simon, 153
hyphenation pattern, see under hyphen-
Fetch (Macintosh FTP dient), 434
ation
fields, bibliographie, see under bib
figure (counter), 345 induding in other files, 333,416-418
figure (float env.), 250-251, 513 index entry (idx), see idx
optional arguments of, 252, 427 list
placement of, 426, 427 offigures (lof), see lof
figure* (double-column float env.), 250 oftables (lot), see lot
\figurename (redef. name), 323, 324 listing those used by a document, 334
and hyperref package, 453 log, see log files
figures, 250-251, 513 MakeIndex log (ilg), see ilg
captions in, 416 naming of, 47
fragile commands in, 79 with \graphicspath commands, 420
commands for, 250, 251, 317, 416, 420, organization of, 418--420
447 portability of~ 5
double-column,250 Portable Document Format (PDF), see PDF
forcing typesetting ot~ 107 PostScript (ps), see under PostScript
lists of~ 415--416 processed bibliography (bbl), see bbl
adding a line to, 416 processed index (ind), see ind
tragile commands in, 79 sampIe, see sampIe files
numbering ot~ 250 source, see source files
546 files - font commands Index
two-letter (obs. U\TEX 2.09), 100, 315, fontenc (pack.), 489, 491
509 options of, 489
and italic corrections, 100 \fontfamily (font selcction com.), 488
using in math environments, 168 fonts
torweight AMSFonts @, xxxiii, xxxvi, 58,187,192,
\textbf, 10,98, 168,305,315,337, 194,303-305,306-307
95,470 documentation far, 307
tont encodings, 82, 83 obtaining, 435
LMI (TEXTURES), 489 PostScript versions of, 303, 306, 436,
LYl (TEX'n ANS!), 489 478,485,486
OTl ,488 bitmap, 485
Tl (Cork), 87, 491,473
resolution of, 486
font environments
size of, 486
tor se ries
using in PDF files, 486
bfseries, 153
blackboard bold @, 27, 193, 337, 514,
far shape
468
em, 153
bold math, 30, 191, 193,514, 191, 468
itshape, 153
rmfamily, 153 calligraphic, 31, 192, 306, 337, 468
scshape, 153 commands, see under font commands and
sffamily, 153 font command declarations
slshape, 153 Computer Modern, see Computer Mod-
ttfamily, 153 ern
upshape, 153 Courier (typewriter shape), 487
farweight encodings, see font encodings
bfseries, 153 Euler Fraktur @, 26, 28, 193,306, 337,
font families, document, see document font fam- 514,468
ilies Euler Script @, 192, 306, 337, 468
font metries European Modern (EM), see Europcan Mod
files, 480, 487, 488 ern tonts
virtual, 487 Extended Computer Modern (EC), see Ex-
font series, 93, 98 tended Computer Modern tonts
command declarations far, see under font Galliard,94
command declarations Helvetica, 487
commands tor, see under font commands including in PostScript files, 444, 449
environments for, see under font environ- including in PDF files, 445
ments Lucida Bright, 489
font shapes math, 190-192
command declarations for, see under font size of, 195, 513
command declarations monospaced,93
commands for, see under font commands names of
environments for, see under font environ-
U\TEX 2.09, 270
ments
PSNFSS (Berry schemel, 487
and punctuation, typographic rules for, 96
PostScript, see under PostScript
sans serif, 93, 94
serif,93 proportional,93
typewriter, 436, 478, 484, 486 proprietary
font wcight, 93 using in PostScript files, 444
command declarations for, see under font using in PDF files, 445
command declarations resolution ot~ 449
commands for, see under font commands sampIes, 270
environments for, see under font environ- selecting, 93-100
ments with \fontfamily command, 488
font width, 93 with \selectfont command, 488
font-substitution algarithms, in u\TEX, 99 shapes, see tont shapes
548 fonts - General Lattice Theory Index
indexing, see also Makelndex, 392-407 INPROCEEDINGS (bibI. entry type), 371,376-
with AMS document classes, 394 377
commands for, 258, 318, 393-402,405, \input (inclusion com.), 333,416-420
482 errors with, 417
entries inputenc (pack.), 491
main, 258, 393, 397 install. txt (li\TEX distr. file), 268
subentries, 258, 393, 397, 398 institution (BIBTEX database field), 371
subsubentries, 398 instr-l. tex (AMS pack. distr. file), 307
environment for, 258, 352, 393,404 instructions to li\TEX, see also commands and
page ranges, 398-399 environments, 73, 79
placement of commands for, 401-402
processed index files (ind), 404-405, 429
\int (J large math op.), 19,177,466
integers, stored in counters, 325
rules for, 405-407
integrals, 19, 166
typesetting entries in margins, 269
integrated TEX systems, 58, 435
with user-defined commands, 318-319
interactive mode, 60-61,117,323-325
\indexname (redef. name), 324
\intercal (T math op.) 0),460
\inf (inf math op.), 174,465
intercharacter space, 480
infix notation, in TEX commands, 164
information, top-matter intercolumn spacing, 218, 222, 214
AMs-specific, 279-281 in aligned math environments, 35
AMS Subject Classification, 280 in tabular environments, 148
keywords, 280, 301 interline spacing, 172,234,318,425
for articles, 275-285 adjusting, 104-105
author names, 48, 277, 300 international TEX user groups, 437
tide, 48, 275, 301 Internet, see also World Wide Web
author, 48, 277-279, 281 downloading sampie files from, 4
addresses, 48, 277, 281, 300 and li\TEX and TEX, 433-454
eurrent addresses @, 278, 281 intersentence spaces (\@.), 7, 70-72, 474
e-mail addresses @, 278, 281,300 and \frenchspacing, 73
research support, 48, 279, 281, 300 and \nonfrenchspacing, 73
World Wide Web addresses @,279, 281, \intertext (text-in-math com.) @,219-220
300 interword space, 7, 70-72, 330
for articles command (\~), 7, 71, 72, 76,108,373,
dedications, 276 474
\infty (00 math sym.), 14,463 and \frenchspacing, 73
initex (TEX program), 361,479,492 and \nonfrenchspacing, 73
initials intlimits (opt. ofamsmath pack.) @, 304,
periods in, 72-73 512
typographie rules for, 72 intrart.tex (sampie file), xxxi, 38-45, 51,
\injlim (inj!im math op.) @, 174, 465
55,135,136,252,264,394
inline
typeset, 43-45
fractions, 162
intrarti. idx (index entry file), 403-404
math formulas, see inline math environments
intrarti . Hg (index log file), 405
tables, 146
intrarti. ind (proc. index file), 404-405
inline math environments, 12, 156
and $, 12, 53, 79, 157 intrarti.tex (sampie file), 394-397,402-
\( (start math mode), 12,79 405
\) (end math mode), 12,79 invalid characters, 5, 69
act as special braces, 77, 156 invisible boxes, see struts
display-style binomials in, 164 invoking
font size of, 195, 513 delimited commands, 326
math,156 proclarnations, 39,49,54,55,511
matrices in, 228-229 user-defined commands, 313
size of delimiters in, 172 \iota (~Greek char.), 456
\innerhdotsfor (obs. A.M5-TEXcom.), 513 ispell (spelling checker for UNIX), 63
Index \i t - language. dat 553
\it (obs. If.TEX 2.09 font com.), 100 key (BIBTEX database field), 371
italic corrections, 97-98, 474 keyboard, 4-5, 68-69
and eommas, 97 keys, 11
and \em, 98 alphanumerie, 4-5
and font eommands, 95 Enter, see Return key
and \itshape, 98 letter, 4-5, 68
and periods, 97 modifier,69
and \slshape, 98 number,68
suppressing, 97-98 prohibited, 5, 69
with two-letter font commands, 100
Return, 5,51,52,60, 61,69
\italic (obs. A,vtS-TEX com.), 513
sorting (in \index commands), 399, 400
italies
case-sensitivity of, 406
bold math, 192
spacebar, 5, 69
font shape, 4, 10, 73, 93, 95, 98, 153,
358,95,470 special, 5, 69
in math mode, 191, 191,468,513 Tab,5,69
in HTML doeuments, 441 \keywords (top-matter com.) @, 301
math font, 191 rules for using, 280
\item (list item com.), 122-127 \keywordsname (redef. name) @, 324
in simple indexes, 258, 393 \kill (tabbing com.), 127, 128
optional arguments of, 124, 126,354,355 Knuth, Donald E., xxx, 57, 475-477, 479, 508,
and square braekets ([ ]), 126 519
\itemindent (length com.), 353 Krol, Ed, 519
itemize (text list env.), 122-123
\Itemname (hyperref redef. name), 453
\i temsep (length com.), 354, 358 L, slashed (L, 1),84,469
itshape (font shape env.), 153 \label (eross-ref. com.), 33, 36,48,49,52,
\itshape (fontshape com. dec.), 95, 98, 358, 53,160,197,209,224,244,247,
95,470 250,348,411
and italie correction, 98 arguments of, 248
assigning counters to, 348
\j (J dotless j), 84, 84, 470 placement of commands, 428
James, Steve, 442 showing in margin, 249, 270
Java applets, see WebEQ and simple indexes, 258
Jeffrey, Alan, 476 in table environments, 250
Jensen, Frank, 348, 351 labels
\jmath (] math sym.), 463 for \bibitem commands, 255
\Join (1)<1 binary rel.), 457 for bibliographie items, 50
Joint Photographic Experts Group format, see for equations, 247
JPEG
for groups of equations, 199
Jones, David M., 478
ofitems in a list environment, 354, 355,
journal (BIBTEX database field), 371
353
JPEG (Joint Photographic Experts Group for-
in list environment, 124, 126
mat), 446, 449
setting with \label, 247
JL, in bibliographie entries, 372
\labelsep (length com.), 353
jspell (pe spelling checker), 63
justifieation of text \labelwidth (length com.), 353
left, 10 \lambda (>' Greek chaL), 456
right, 10, 73 \Lambda (A Greek ehaL), 456
Lamport, Leslie, xxx, 476, 479, 518
\k (ogonek EUL aceent), 473 \land (/\ math op.), 460
\kappa (11", Greek ehaL), 456 lands cape (doc. dass opt.), 265
Kennedy, Bill, 442 \langle (( math delirn.), 171, 169, 464
\ker (ker math op.), 174,465 language (BIBTEX field) @, 371
kerning, 480 language .dat (If.TEX distr. file), 492
554 large - \lcfrac Index
\lfloor (l math delimo), 169, 464 filling with space or dots, 31,111,112,
\lg (Ig math opo), 174, 465 118,137,227,229,359,513
\lhd (<l math opo), 460 horizontal (rules)
ligatures, 26, 83 filling lines with, 111, 118
suppressing, 26, 83, 312 in tabular environments, 147, 149
\lim (lim math opo), 21 intersecting, in tables, 152,270
\liminf (liminf math opo), 174, 465 separating
limits with \ \,20,34,36,38,48,103,127,
large operators with, 19,21, 166, 176, 128,131,147,153,179,206,207,
177,304,466 209,220,224,234,268,275-277,
multiline,178-179 301,427
operators with, 174, 304,465 with \linebreak, 102, 103, 104,427,
placement of, 304 428
as subscripts, 19,27,28,166,173,175- stretchable, 181-182
177,304 too wide warnings, 101-102
as superscripts, 19,27, 166, 173, 176, vertical
177,304 in CD environments @, 233
\limits (Iimit-control como), 166, 178 in tabular environments, 147
wrapping, 89
\LimitsOnlnts (obso A,\IjS-TEX corno), 512
links, hyper, see hyperlinks
\Limi tsOnNames (obs, A.M5-TEX como), 512
Linux, see also UNIX, xxxi, 5,436
\LimitsOnSums (obso A.M5-TEX como), 512
list (text list envo), 352, 354-359, 353
\limsup (limsup math op,), 174, 465
arguments ot~ 355
line boxes, see under boxes
using counters with, 356
line numbers
length commands in, 352-354
in error messages, 54, 136
list text environments, see also specific environ-
in warning messages, 8
ments,56,122-127
\line (obso TEX com,), 509
description, 123-124, 126
line-and-a-half spacing, 105
enumerate,122,270,330
line-ending characters, 5, 69, 71, 89
itemize, 122-123
on Macintosh, pes, and UNIX systems, 420 list, 352, 354-359, 353
translation of, 69 mixing, 124-127
\linebreak (Iine-breaking corno), 102, 103, nesting, 124-127
104,427,428 in proclarnations, 137
optional arguments of, 104 rules for, 124
lines, 101-105 trivlist,360
adding to \listfigurename (redef, name), 323, 324
lists of figures and tables, 416 \listfiles (file-list corno), 61, 334
tables of contents, 413-414 listing files used by a document, 334
blank \listoffigures (front mattercomo), 415, 428,
in displayed math environments, 53, 161, 482
206,207,209 \listoftables (front matter corno), 415, 428,
terminating paragraphs with, 70, 105 482
in text environments, 145-146 \listparindent (Iength como), 360, 353
in top-matter commands, 275 lists
in verbat im environments, 145 cross-referencing items in, 122, 127
breaking, 10,32, 102-104, 146,234 custom
with \ \,20,34,36,38,48,103,127, and counters, 356
128,131,147,153,179,206,207, defining, 352-360
209,220,224,234,268,275-277, environments for, see list text environments
301,427 offigures,415-416
in HTML,441 adding a line to, 416
preventing, 104, 112 auxiliary file (lof), 415, 428, 482
distance between (leading), 110 fragile commands in, 79
adjusting, 118 oftables, 146,415-416
Index lists - manuscripts 557
rnath font cornrnands, see also tont cornrnand \mathbf (rnath font weight corn.), 30, 191,
declarations and fant cornrnands 193,514,191,468
tor bald \mathbin (binaty-op. corn.), 190
\boldsymbol @, 30, 188, 192, 193, \mathcal (X), 31, 192, 306, 337, 468
305, 468, 513 and Euler Script @, 192
\mathbb @, 27,193,337,514,468 Mathernatica, 444
\mathbf,30,191,193,514,191,468 MathematicalReviews (AMS), 50,164
\pmb (poor rnan's bold) @, 194-195, Mathematics into Type ($wanson, et al.), 211,
305 519
for italics \mathfrak (X)@,26,28, 193, 306, 337, 514,
\mathit, 191, 191, 468, 513 468
for series \mathit (rnath font shape corn.), 191, 191,
\mathnormal, 192, 191, 468 468,513
for shape MathML, 443-444
\mathcal,31,192,306,337,468 Web browser support for, 444
\mathfrak@,26,28, 193,306,337, \mathnormal (rnath font shape corn.), 192,
514,468 191,468
\mathrm, 191, 191, 46~ 513 \mathop (op.-def. corn.), 190,194
\mathscr @, 192, 306, 468 \mathrel (binaty-rel. def. corn.), 190
\mathsf, 191, 191,468 \mathring (x rnath accent), 180, 467
\mathsl, 513 \mathrm (rnath font shape corn.), 191, 191,
\mathtt, 191, 191,468 468,513
for size mathscr (opt. of eucal pack.) @, 192, 306,
\displaystyle, 195,513 468
\scriptscriptstyle, 195,513 \mathscr (X rnath fant shape corn.) @, 192,
\scriptstyle,195,513 306,468
\textstyle,195,513 \mathsf (rnath fant shape corn.), 191, 191,
for weight 468
\boldsymbol @, 30, 188, 192, 193, \mathsl (rnath font shape corn.), 513
305, 468, 513 \mathstrut (spacing corn.), 196
\mathbf,30, 191,193,514,191,468 MathTlme, 488
\pmb (poor rnan's bold) @, 194-195, mathtime (pack.), 489
305 mathtime. dtx (PSNFSS distr. file), 488, 489
Math into IßIEX, updates to, xxxvii mathtime. ins (PSNFSS distr. file), 488
rnath mode, 3 mathtime.sty (PSNFSS distr. file), 488
rnath symbols, 13, 14, 30, 68,143,179,181, \mathtt (rnath fant shape corn.), 191, 191,
322,509,510,455-469 468
bold,193-195,270 \mathversion (rnath fant corn.), 194
building new, 187-190 rnatrices, 19-21,226-231
classification of, 183-184, 190 in in li ne rnath environments, 228-229
creating,28,188,319 matrix (subsid. rnath env.) @, 20, 21, 204,
declaring types of, 190 225,226-229,205
negated, 27, 189,459 variants, 227-229
shorthand cornrnands for, 312 matter
side-setting, 189 back, see back matter
spacing of, 182-187 front, see front matter
stacking, 188-189 main, see main matter
stretchable, 180-182 top, see top matter
suppressing, 143 \max (rnax rnath op.), 174,465
in text, 316 MaxMatrixCols (counter) @, 227
types of, 183-184, 194 \mbox (box com.), 12,22,26,28,87, 104,
rnath units, see rnu 112,113,167,168,192
math.tex (sampIe file), 11-14 spacing rules in, 159, 167
mathb. tex (sampIe file), 13-15 McLean, Ruari, 519
\mathbb (X) @, 27,193,337,514,468 McPherson, Kent, 259
560 \mdseries - mylatex Index
\mdseries (font weight com. dec.), 98, 95, mpfootnote (counter), 345
470 \MR (bibl. com.) @, 50
\measuredangle (L math sym.) @, 463 mrabbrev. bib (BrBTEX database file) @, 383
measurements, oftext boxes, 325,351 \mspace (spacing com.) @, 185,185,468
commands for, 351 mtbold (opt. ofmathtime pack.), 489
medium (font weight), 98,95,470 mtfonts.fdd (PSNFSS distr. file), 488
\medskip (spacing com.), 110, 325 mu (math unit, rel.) @, 185,468
\medskipamount (Iength com.), 325, 352 \mu (/1- Greek char.), 456
\medspace (spacing com.) @, 185, 468, 474 multicol (pack.), 107, 108,270
Merz, Thomas, 454 multicols (disp. text env.), 107,477
messages \multicolumn(tablecom.), 149-151,150,151
error, see error messages multicolumn text
warning, see warning messages in documents, 107-108,270,477
metrics, font, see font metrics in tables, 149-151
\mho (U math sym.), 463 multiline
Microsoft table entries, 150
typography Web page, 491 formulas, xxxii, 34-38, 203-235
Windows, see also pCs, xxxi, 5,435,436 aligning, 211-212
Microspell (pc spelling checker), 63 splitting, 206--209
\mid (I binary rel.), 26,172,184,457 visual guide to, 204, 205
\midinsert (obs. TEX com.), 509 limits, 178-179
midpoint (. text sym.), 85, 472
math environments, 510
\midspace (obs. A,NtS-TEX com.), 513 adjusting columns in, 204, 225-234
MiKTEX (Windows TEX system), 436
aligning, 204
millimeter (mm abs. unit), 349
marginal comments in, 116
\min (min math op.), 174, 465
page breaks in, 510
Miner, Robert, 443
rules for, 209-213
minipage (text box env.), 101, 112, 116,330,
subscripts and superscripts, 515
331
text boxes, 112
displaying footnotes in, 116
\multimap (-<) math arrow) @, 462
minus (-), 16, 68, 80, 162, 183, 186, 187,
multipage tables, 270
191,211,212
multiple
as binary operation, 460
arguments, in user-defined commands, 318
mirrors, of CT AN, 434
MIse (bibI. entry type), 371, 382 authors
Mittelbach, Frank, 107, 143,476-478 in AMS documents, 281
mixing list text environments, 124-127 in bibliographies, 372
mm (millimeter abs. unit), 349 in U\TEX documents, 48
\mod ( mod math op.) @, 176, 176 bibliographies in a document, 258
\models 0= binary rel.), 457 captions, 250
modes citations, 256
interactive, 60--61,117,323-325 documents, cross-referencing among, 271
math, 3, 156 files, splitting documents inta, 416-418
quiet,60 multiplication, 16,68, 162
text, 3, 156 multline (math split env.) @,204,206--209,
modifier keys, 69 205
modifiers, in \index commands, 398 indentation oflines in, 207
combining, 399 multline* (math split env.) @, 207-209
modifying environments, 328-331 indentation of lines in, 207
monospaced fonts, 93 multline.tpl (sampie file), 203
month (BIBTEX database field), 371, 382 \multlinegap (Iength com.), 207
\month (time com.), 85 Musciano, Chuck, 442
Moore, Ross, 439 myams. tpl (template file) @, 298-301
movable arguments of commands, 79 myheadings (page style), 259
\mp (=r= math op.), 460 mylatex (pack.), 362
Index \nabla - nonbreakable spaces 561
\nabla (V' math sym.), 463 \newline (line-breaking com.), see also \ \, 102,
namelimi ts (opt. ofamsmath pack.) @, 304, 104,146
512 \newpage (page-breaking com.), 10, 106,252
names \newsymbol (obs. AMS com.), 514
for abstracts, 243 \newtheorem (procl. com.), 39, 135,138,142,
of authors 298,348
in articles, 48, 277, 300 option al arguments ot~ 138, 139
in bibliographies, 372-373 syntax ot~ 138-139
in running heads, 277 \newtheorem* (procl. com.) @, 139, 329,
base (offiles), 481 330
ofcommands, 74, 333 \nexists (~math sym.) @, 463
of counters, 139 NFSS (New Font Selection Schemel, 477, 518
offiles, 47 documentation tor, 519
with \graphicspath commands, 420 nfssfont. tex (U\TEX distr. file), 82, 269
offonts \ng (eng Eur. char.), 473
U\TEX 2.09, 270 \NG (Eng Eur. char.), 473
PSNFSS (Berry schemel, 487 \ngeq ci. neg. binary rel.) @, 459
for proclarnations, 135, 139 \ngeqq (~ neg. binary rel.) @, 459
redefinable, 258, 323, 491, 324, 453 \ngeqslant ('1 neg. binary rel.) @, 459
tagging equationswith, 34,161,197-199, \ngtr CI neg. binary rel.) @, 459
206,207,209,212,223,224 \ni (3 binary rcl.), 457
\natural (Q math sym.), 463 \nleftarrow (<+- math arrow) @, 462
\ncong (;;!: neg. binary rel.) @, 459 \nLeftarrow (~ math arrow) @, 462
\ne (;6 neg. binary rel.) @, 189, 459 \nleftrightarrow (..,.., math arrow) @, 462
\nearrow ( / math arrow), 461 \nLeftrightarrow ({f} math arrow) @, 462
\NeedsTeXFormat (preamble com.), 61, 90, \nleq (i neg. binary rel.) @, 459
333 \nleqq (~ neg. binary rel.) @, 459
\neg (-, math sym.), 463 \nleqslant (1. neg. binary rel.) @, 459
negated math symbols, 27,189,459 \nless ( 1- neg. binary rel.) @, 459
\negmedspace (spacing com.) @, 185, 468, \nmid (f neg. binary rel.) @, 189, 459
474 noamsfonts (doc. dass opt.) @, 303, 304
\negthickspace (spacingcom.) @, 185, 468, \nobreakdash (hyph. prev. com.) @,88,514
474 \nocite (bibI. com.), 385, 387
\negthinspace (spacing com.), 28, 185, 185, \nofiles (preamble com.), 428
468,474 and auxiliary files, 428, 482
\neq (;6 neg. binary rel.), 459 \noindent (indentation-suppression com.), 105,
nesting 427
of comment environments, 91 nointlimi ts (opt. of amsmath pack.) @, 304,
oflist text environments, 124-127 512
New Font Selection Scherne, see NFSS and PSNFSS \nolimi ts (limit-control com.), 28,166,175,
\newcommand (user-defined command com.), 177
312-321,323,511 \NoLimitsOnlnts (obs. AJVjS-TEXcom.), 512
defining arguments with, 318 \NoLimi tsOnNames (obs. AJVjS-TEX com.), 512
\newcommand* (user-defined command com.), \NoLimitsOnSums (obs. AMS-TEXcom.), 512
320 \nolinebreak (linebreak-suppression com.),
\newcounter (user-defined counter com.), 346 104
optional argument of, 346, 347 nomath (doc. dass opt.) @, 192,304
\newenvironment (user-defined environment nonamelimits (opt. of amsmath pack.) @,
com.),328 304,512
\newenvironment* (user-defined environment nonbreakable spaces (- tie), 7, 33, 69, 71, 72,
com.),332 80,81,104,474
\newlabel (aux. file com.), 481 in AMS documents, 81
\newlength (length-command defining com.), in BIRTEX databases, 374
350 with cross-references, 33, 72, 248
562 \nonfrenchspacing - numbers Index
European Modern, 487 printing, typeset (DVI) files, xxviii, xxix, 481
in illustrations, 486 proc (doc. dass), 269, 479
using with Jb.TEX, 269, 487, 488 PROCEEDINGS (bibI. entry type), 371, 382
legal issues with, 444 proceedings, conference, in BIBTEX database
size of, 486 files, 376-377, 382
PostScript Language Reference Manual (Adobe processed
Systems),444 bibliography files, see bbl
PostScript New Font Selection Scherne, see index files, sec ind
PSNFSS processing
\pounds bibliographies, 383-392
math symbol (1:), 463 indexes, 402-405
pound sign or sterling (.c), 473
prodamations, 39,135-143,352
\Pr (Pr math op.), 174, 465
commands für
preamble, 38-39, 240-242, 315
\newtheorem (prod. com.), 39, 135,
commands in, xxxvi, 9, 16, 39, 61, 75,
138,142,298,348
89,90,105,135,138,139,142,160,
\newtheorem* @, 139,329,330
175,192,234,235,241,242,298,
\theoremstyle @, 139-142
305,313,329,330,333,348,407,
417,420,428,482,509,510,514 \theoremstyle* @, 139-142
customizing, in template files, 47, 298 converting from older türms, 508, 514
defining counters in, 346 counters für, 345
environments in, 242 defining,39,49,135,138,139,142,298,
prodamations defined in, 242 329,330,348,511
user-defined commands in, 242, 313 in preamble, 242
\prec (-< binary rel.), 457 with theorem package, 270
\precapprox (~ binary rel.) @, 458 environments tür
\preccurlyeq (~ binary rel.) @, 458 theorem,39,49,54,55
\preceq (j binary rel.), 457 invoking, 39,49,54,55,135,511
\precnapprox (;;; neg. binary rel.) @, 459 lines following @, 145
\precneqq (~ neg. binary rel.) @, 459 lists in, 137
\precnsim (;;:, neg. binary rel.) @, 459 logical design using, 56
\precsim (;S binary rel.) @, 458 names of, 139
preparation numbering of, 135
final, tür books, 424-429 consecutively, 138-139
of illustrations, 426 within sections, 138-139
presentational tags, in MathML, 443-444 position ofnumbers, 142
\pretend (obs. A.JV1S-TEX com.), 513 sryles of, 139-142,477
preventing definition, 139, 139-142
case changes in bibliographie entries, 373 plain, 139, 139-142
hyphenation, 87-88, 113
remark, 139, 139-142
indentation of paragraphs, 105
unnumbered, 139, 142, 329, 330
line breaks, 104, 112
page breaks, 103, 106,234
\prod (n large math op,), 21,177,466
products, 21, 178
removal
programming, in TEX, 519
ofhorizontal space, 109
of vertical space, 111 programs, typing, 127-129, 131-133
spaces following environments, 330 prohibited keys, 5, 69
prime ('),163,189,463 \projlim (proj lim math op.) @, 174,465
\prime (! math sym.), 463 prompts, 60-61
primitive commands, 325,479 * (interactive), 61,117,323-325
printers **,60
drivers für, 445, 450-451 ?,14,51,60
DVI drivers for, 269 file name, 60
resolution ot~ 449, 486 responding to, 14,60-61
\printindex (index com.), 394, 405 shell, xxviii
568 proof - references Index
scharfs (ß, SS), 84, 469 \selectfont (font se1ection corn.), 488
Schleyer, Antoinette Tingley, 211, 519 selecting
Schmock, Uwe, 487 files to include, 417, 418, 420
school (BIBTEX database field), 371 interactively, 418
Schröder, Martin, 476 fonts, 93-100
Schöpt~ Rainer, 476, 477 semantic tags, in MathML, 443--444
Scientific Word (Windows TEX system), 435 sentences, 70
scope terminating, 7, 70-72
of \allowdisplaybreaks cornrnands @, with exclarnation and question marks,
234 70-73
ofcornrnand declarations, 154,314-315, with periods, 70-73,474
329 series (BIBTEX database field), 371
of cornrnands, 76-78, 94 series cornrnands, tor fonts, see under fom corn-
global and local, 79 rnands and font cornrnand dedara-
delirnited by braces, 76-78 tions
setting, wirh environments, 102,207 serif (font shape), see also under roman, 93
screen (monitor) resolution, 449 Seroul, Raymond, 519
\scriptscriptstyle (rnath font size com.), \setcounter (counter setting corn.), 227, 345,
195, .513 348
\scriptsize (font size com.), 98, 275,471 setlength (scoped -command env.), 102, 207
\scriptstyle (rnath font size corn.), 195, 513 \setlength (Iength cornrnand setting corn.),
scshape (font shape env.), 153 105,106,117,350
\scshape (font shape corn. dec.), 95,95,470 \setminus (\ rnath op.), 460
\searrow ('\. math arrow), 461 setspace (pack.), 105
\sec (sec rnath op.), 174,465 \settabs (obs. TEX corn.), 509
secnumdepth (counter), 349 \settodepth (rneasurernent corn.), 351
section (counter), 345 \settoheight (rneasurement corn.), 351
section (§ text sym.), 85, 472, 473 \settowidth (rneasurernent com.), 351
\section (struct. corn.), 48, 243-244 \sevenbf (obs. TEX corn.), 509
argument of, 244 \seveni (obs. TEX corn.), 509
\section* (struct. com.), 48, 245, 412 \sevensy (obs. TEX com.), 509
sectioning, 508 sffamily (font shape env.), 153
of articles, 48, 243-246 \sffamily (font shape com. dec.), 95,470
ofbooks, 410-412,422 SGML (Standard Generalized Markup
commands, see also structural cornrnands Language),477
optional arguments of, 245 shape commands, for fonts, see under fom com-
provided by book document classes, 41 0- mands and font cornmand declara-
412 tions
provided by the amsart document dass, shareware TEX systems, 436
246 \sharp (~rnath sym.), 463
pl ovided by the art icle docurnent dass, shell prompt, xxviii
246 short
of documcnts, 7, 23, 38--40,42,43,48, arguments, ofuser-defined commands, 320-
50, 51, 54, 72, 73, 240, 243-246, 321
253,258,264,267-268,274,285, arguments, of user-defined environments,
352,383,388,393,404,410--412 332
syntax of cornrnands, 244-245 cornrnands, 79,94,275
\sectionname (redef name) pages, warnings about, 481
and hyperref package, 453 shorthand, see under user-defined commands
sections, nurnbering of, 244 \shortmid (I binary rel.) @, 458
in books, 411 \shortparallel (11 binary rel.) @, 458
of equations within, 160,242 \shoveleft (align. corn.) @, 208, 209
of proclarnations within, 138-139 \shoveright (align. corn.) @, 208
\see (indexing cross-reference com.), 401 \show (cornrnand-exarnination com.), 61,323,
\seename (redef. name) @, 324 324,325
572 \showhyphens - spaces Index
unbreakable (- tie), 7, 33, 69, 71, 72, 80, horizontal, see horizontal spacing
81,104,474 vertical, see vertical spacing
in AMS documents, 81 \spadesuit (. math sym.), 463
in BIBTEX databases, 374 \spbreve (- math accent), 180,467,515
with cross-references, 33, 72, 248 \spcheck (V math accent), 180,467,515
in user-defined commands, 271 \spdddot (... math accent), 180,467,515
in \verb commands, 134 \spddot (.. math accent), 180,467,515
in verbat im environments, 132 \spdot (. math accent), 180,467,515
visible (~), 69,473 special
and \verb* command, 134 braces, 12,77,79, 156,332,333
spacing
balancing, 77
between characters, 480
characters, 5, 69, 81-83, 469-473
commands, see spacing commands
in HTML, 441, 442
determined by document dasses, 108
in \index commands, 400
between dots with \hdotsfor commands,
keys, 5, 69
227
horizontal \special,252
adjusting, 183 spelling checkers, 50, 62-63
interword, 7, 70-72, 76, 108,330,373, \sphat (~ math accent), 180,467,515
474 \sphericalangle (<! math sym.) @, 463
in math, 12, 31, 35, 158-160, 182- Spivak, Michael D., 476, 488
187,227,229,513 split (subsid. math align. env.) @, 36,204,
preventing rem oval of, 109 223-225,302,205
in text, 7,.12,70-73,108-109, lll- and \allowdisplaybreaks commands, 235
112,118,137,359,474 numbering of equations within, 223-224
intercolumn, 218, 222, 214 splitting
in tabular environments, 148 documents into multiple files, 416-418
interline, 172,234,318,425 formulas, across lines, 206-209
adjusting, 100, 118 \spreadlines (obs. Aj\,1S-TEX com.), 513
double, 104-105 Springer-Verlag, 494
line-and-a-half, 105 \sptilde (~ math accent), 180,467,515
betwecn math symbols, 182-187 \sqcap (n math op.), 460
within an \mbox command, 26 \sqcup (U math op.), 460
rules \sqrt (Vx math com.), 21, 166
in arguments of \ index commands, 406 \sqsubset (C binary rel.), 457
for commands, 74, 158 \sqsubseteq (!;;; binary rel.), 457
and delimited commands, 326-327
\sqsupset (:::1 binary rel.), 457
in math, 12, 158-160, 182-187, 196-
\sqsupseteq (;;;) binary rel.), 457
197
square roots, 21, 166
in \mbox commands, 159, 167
\square (0 math sym.) @, 463
in text, 7,10,12,70-73, 108-ll1
\ss (ß), 84, 469
in \text commands @, 159
in text, 108-112 \SS (88), 84, 469
vertical \ssize (obs. Aj\,1S-TEX com.), 513
adding to table of contents, 414 \sssize (obs. Aj\,1S-TEX com.), 513
adjusting, 151, 196,425 stacking, math symbols, 188-189
adjusting with struts, 151 \stackrel (symbol-building com.), 28,188
adjusting with the setspace package, 105 Standard Generalized Markup Language
in indexes, 258, 393 (SGML),477
in math, 119, 196-197, 513 \star (* math op.), 460
preventing removal of, 111 start, of chapters, document dass options tor,
in text, 10, 107, llO-lll, 196, 325, 412--413
414,426,429 \stepcounter (counter-incr. com.), 347
spacing commands sterling (1: text sym.), 473
avoiding direct use of, 423 \stop (interactive control com.), 61
574 stretchable - subsidiary math environments Index
\therefore (:. binary rel.) @, 458 optional arguments of, 275, 282,301
\thesection (the value of counter titlepage (doc. dass opt.), 266, 412
section),347 AMS variant, 303
theses, in BIBTE,X database files, 379-380 titlepage (front-matter env.), 413
\thesubsection (the value of counter titles
subsection), 347 ofartides, 48, 275, 301
\theta (8 Greek char.), 456 in bibliographies, rules for typing, 373-
\Theta (8 Greek char.), 456 374
\thickapprox (;:;: binary rel.) @, 458 in running heads, 276, 301
\thickfrac (obs. AM5-TEX com.), 513 of structural commands, 244, 508
\ thi ckfracwi thdel ims (obs. AM5~ TEX com. ), fragile commands in, 79
513 Tittel, Ed, 442
\thicksim (~ binary rel.) @, 458 \to (-> math arrow), 461
\thickspace (spacingcom.) @, 185,468,474 toe (tables of contents files), 413, 482
\thinspace (spacing com.), 19,26,72,80, commands in, 414
183, 185, 185,46~474 tocdepth (counter), 349
third-party document dasses, see under docu- \today (time com.), 10,48,75-76,86,277,
ment dasses 491
\ thispagestyle (set page style), 259 tokens,480
thorn (Eur. char.), 473 tools (l<\TEX distr. dir.), 249, 268
Thorup, Kresten K., 348, 351 packages in, 269-271
tie (- spacing com.), 7, 33, 69, 71, 72, 80, 81, tools, for HTML authoring, 442
104,474 tools. ins (l<\TEX distr. file), 271
in AMS documents, 81 top matter, 39-40, 241,38
in BIBTEX databases, 374 of AMS documents, 275-285
with cross-references, 33, 72, 248 AMS information, 279-281
tie (- text accent), 84, 470 author information, 277-279
tilden errors with, 284-285
text accent, 84, 470 examples,281-284
text symbol, 473 with multiple authors, 281
\tilde (5: math accent), 19, 180, 467 for artiele document dass, 47-48
\Tilde (5: obs. math accent), 512 artide information, 39-40,47-48
time commands of AMS documents, 275-277
\day,85 commands, 39,40,47,48,86,93, 112,
\month,85 261,275-281,300,301,413,454,
\time,85 514
\today,10,48,75-76,86,277,491 blank lines in, 275
\year,85 examples of, 281-284
\time (time com.), 85 customizing templates, 47, 298
times (pack.), 487, 488 is document-class specific, 242
\times (x math op.), 16,162,460 editing, 47--48
Times, in l<\TEX documents, 487-489 with multiple authors, 48
times. sty (PSNFSS distr. file), 487 \top (T math sym.), 463
\tiny (font size com.), 98,514,275,471 top-or-bottom, placement oftags, 302
\Tiny (font size com.), 514 \topins (obs. TEX com.), 509
title (BIBTEX database field), 371, 379 \topinsert (obs. TEX com.), 509
title pages, 39 topmat.tpl (sampie file) @,281-284
of books, 413 \ TopOrBottomTagsOnSpli ts (obs. AM5- TEX
commands for, 39,413 com.),512
document dass options for, 266, 303, 412 tops, of text boxes, 351
environments for, 413 \topsep (length com.), 352, 354, 353
footnotes on, 93 \topsmash (obs. AM5-TEX com.), 513
\title (top-matter com.), 40, 47, 48, 112, \topspaee (obs. AM5-TEX com.), 513
413 \totalheight (length com.), 114, 116
AMS variant, 301 trademark text symbols (TM ®), 85, 472, 473
580 translation - UNIX Index