home *** CD-ROM | disk | FTP | other *** search
/ DOS/V Power Report 1996 December / VPR9612A.ISO / WINTEX / AMS / AMSTEX / DOC / AMSGUIDE.TEX (.txt) next >
LaTeX Document  |  1993-02-24  |  75KB  |  1,685 lines
  1. %% @texfile{
  2. %%     filename="amsguide.tex",
  3. %%     version="2.1b",
  4. %%     date="24-DEC-1991",
  5. %%     filetype="AMS-TeX: user documentation",
  6. %%     copyright="Copyright (C) American Mathematical Society,
  7. %%            all rights reserved.  Copying of this file is
  8. %%            authorized only if either:
  9. %%            (1) you make absolutely no changes to your copy 
  10. %%                including name; OR
  11. %%            (2) if you do make changes, you first rename it to some
  12. %%                other name.",
  13. %%     author="American Mathematical Society",
  14. %%     address="American Mathematical Society,
  15. %%            Technical Support Department,
  16. %%            P. O. Box 6248,
  17. %%            Providence, RI 02940,
  18. %%            USA",
  19. %%     telephone="401-455-4080 or (in the USA) 800-321-4AMS",
  20. %%     email="Internet: Tech-Support@Math.AMS.org",
  21. %%     codetable="ISO/ASCII",
  22. %%     checksumtype="line count",
  23. %%     checksum="1983",
  24. %%     keywords="amstex, ams-tex, tex",
  25. %%     abstract="This file is the User's Guide describing the use of
  26. %%       AMS-TeX 2.0+. Installation instructions are found in appendixes
  27. %%       B and C."
  28. %%     }
  29. %      In addition to plain TeX and standard CM fonts, TeXing this file
  30. %      requires the following files and fonts:
  31. % AMSTEX.TEX (version 2.1)
  32. % AMSPPT.STY (version 2.1)
  33. % AMSSYM.TEX (loaded by AMSPPT.STY)
  34. % MSAM10
  35. % MSBM10
  36. % EUFM10
  37. % CMEX8
  38. % CMEX7
  39. % CMBSY7
  40. % CMCSC8
  41. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  42. \input amstex
  43. \documentstyle{amsppt}
  44. \font\tenss=cmss10
  45. \long\def\usertype#1{\smallskip \moveright2pc\vbox{\def\par{\crcr}\halign{%
  46.    \setbox0\hbox{\tt##}%
  47.    \hbox\ifdim\wd0<10pc to10pc\fi{\unhbox0\hfil}%
  48.         \kern1pc \it $\langle$return$\rangle$\hss
  49.    \cr#1\crcr}}%
  50.   \smallskip}
  51. \long\def\systype#1{{\rightskip=4pc\leftskip=4pc\noindent\tt #1\par}}
  52. %      Change default dimensions and fonts
  53. \hfuzz1pc % to suppress reporting of overfull boxes.
  54. \aboveheadskip=3\bigskipamount
  55. \belowheadskip=\medskipamount
  56. \subheadskip=\bigskipamount
  57. \addto\tenpoint{\abovedisplayskip=6pt plus2pt minus3pt
  58.     \belowdisplayskip=\abovedisplayskip}
  59. \loadbold
  60. %      Prevent hyphenation of "amsppt":
  61. \hyphenation{amsppt}
  62. %      Macros for text substitution and for presentation of examples.
  63. \define\Textures{{\it Textures\/}}
  64. \define\AMS{American Mathematical Society}
  65. \define\JAMS{{\it Journal of the \AMS}}
  66. \define\JoT{{\it The Joy of \TeX{}}}
  67. \define\Joy{{\it Joy}}
  68. %      Notice that the LaTeX name is always roman: it does not change
  69. %      font if it occurs inside italic text.  This is the way it is
  70. %      defined by latex.tex.  We substitute a subscript size A instead
  71. %      of a small caps A, however, to avoid possible font problems for
  72. %      users who don't happen to have odd sizes or magnifications of
  73. %      cmcsc10 available.
  74. \define\LaTeX{{\rm L\kern-.36em\raise.3ex\hbox{\the\scriptfont0 A}\kern-.15em
  75.     T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}
  76. \def\filnam#1{{\tt\ignorespaces#1\unskip}}
  77. \hyphenchar\tentt=-1 % to prohibit hyphenation in tt text
  78. \newdimen\exindent   \exindent=2\parindent
  79. % Add a high penalty to discourage line breaks within an example
  80. % without absolutely prohibiting them.
  81. {\obeylines
  82.  \gdef^^M{\par\penalty9999}%
  83.  \gdef\beginexample#1{\medskip\bgroup %
  84.    \def~{\char`\~}%
  85.    \NoBlackBoxes\tt\frenchspacing %
  86.    \parindent=0pt#1\leftskip=\exindent\obeylines}
  87. }%  end \obeylines
  88. \def\endexample{\endgraf\egroup\medskip}
  89. \newdimen\exboxwidth
  90. \exboxwidth=3in
  91. \def\exbox#1#2{\noindent \hangindent=\exboxwidth
  92.   \leavevmode\llap{\null\rm#1\unskip\enspace}%
  93.   \hbox to\exboxwidth{\tt\ignorespaces#2\hss}\rm\ignorespaces}
  94. \chardef\\=`\\       \chardef\{=`\{       \chardef\}=`\}
  95. \def\<#1>{{\it$\langle$#1\/$\rangle$}}
  96. \def\Dimen{\<dimen>}
  97. \catcode`\@=11
  98. \def\cs#1{\leavevmode
  99. %      Save the previous skip and put it back after the penalty 0
  100. %      so that the penalty0 won't cause a blank at the end of a line.
  101.   \skip@\lastskip\unskip\penalty\z@
  102.   \ifdim\skip@>\z@ \hskip\skip@\fi
  103.   {\tt\char`\\\ignorespaces#1\unskip}}
  104. %  Redefine the \subhead macro to be on a line by itself and omit period.
  105. \outer\def\subhead#1\endsubhead{\par\penaltyandskip@{-100}\subheadskip
  106.   \noindent{\subheadfont@\ignorespaces#1\unskip\endgraf}\nobreak\noindent}
  107. %  Define macros for presentation of tables of symbols.
  108. \def\BBB#1{\par\bigbreak
  109.   \leavevmode\llap{$\bullet$\enspace}{\bf#1}}
  110. \newdimen\biggest
  111. \setbox0\hbox{$\dashrightarrow$}\biggest=\wd0
  112. \def\1#1{\hbox to\biggest{\hfill$\csname#1\endcsname$\hfill}\ \ %
  113.   \cs{#1}}
  114. \def\fudge{\hbox to\biggest{}\ \ \hphantom{\tt\char'134 }}
  115. \def\getID@#1{\edef\next@{\expandafter\meaning\csname#1\endcsname}%
  116.  \expandafter\getID@@\next@0\getID@@}
  117. \def\getID@@#1"#2#3#4#5#6\getID@@{\def\next@{#6}%
  118.   \ifx\next@\empty
  119.    \def\next@{#2}%
  120.     \ifx\next@\msafam@
  121.      \def\ID@{10#3#4}%
  122.     \else
  123.      \def\ID@{20#3#4}%
  124.     \fi
  125.   \else 
  126.    \def\next@{#3}%
  127.     \ifx\next@\msafam@
  128.      \def\ID@{1#2#4#5}%
  129.     \else
  130.      \def\ID@{2#2#4#5}%
  131.     \fi
  132.   \fi}
  133. \def\2#1{\hbox to.5\hsize
  134.   {\hbox to\biggest{\hfill$\csname#1\endcsname$\hfill}\ \ %
  135.     \getID@{#1}{\tt\ID@}\ \ \cs{#1}\hfill}}
  136. \def\3#1#2{\hbox to.5\hsize
  137.   {\hbox to\biggest{\hfil$\csname#1\endcsname$\hfil}\ \ %
  138.     \getID@{#1}{\tt\ID@}\ \ \cs{#1}, \cs{#2}\hss}}
  139. \def\4#1{\hbox to.5\hsize
  140.   {\hbox to\biggest{\hfill$\csname#1\endcsname$\hfill}\ \ %
  141.     \getID@{#1}{\tt\ID@}\ \ \cs{#1}\ \ {\eightpoint(U)}\hfill}}
  142. \catcode`\@=\active
  143. \define\thismonth{\ifcase\month % case 0 --- impossible!
  144.   \or January\or February\or March\or April\or May\or June%
  145.   \or July\or August\or September\or October\or November%
  146.   \or December\fi}
  147. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  148. %% TITLE PAGE
  149. \font\fourtn=cmr10 scaled \magstep2
  150. \font\fourtnsy=cmsy10 scaled \magstep3
  151. \font\fourtnbf=cmbx10 scaled \magstep3
  152. \textfont2=\fourtnsy
  153. \shipout\vbox to\vsize{%
  154. \parindent=0pt 
  155. \vskip5pc
  156. \rightline{\fourtnbf User's Guide to \AmSTeX{}}
  157. \bigskip
  158. \rightline{\fourtn Version 2.1}
  159. \medskip
  160. \rightline{\fourtn August 1991}
  161. \vfill
  162. \tenpoint
  163. This publication was typeset using \AmSTeX{}, the American
  164. Mathematical\newline \quad Society's \TeX{} macro system.
  165. Copyright \copyright{} 1991 by the \AMS{}.
  166. All rights reserved. Any material in this guide may be reproduced or
  167. duplicated for personal or educational use.
  168. \medskip
  169. \begingroup\obeylines
  170. IBM PC is a registered trademark of International Business Machines, Inc.
  171. Personal \TeX{} and PC\TeX{} are registered trademarks of Personal \TeX{}, Inc.
  172. \Textures{} is a trademark of Blue Sky Research.
  173. Macintosh is a trademark of Apple Computer, Inc.
  174. \TeX{} is a trademark of the \AMS{}.
  175. \endgroup
  176. }% End of vbox being shipped out
  177. %% END TITLE PAGE
  178. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  179. \topmatter
  180. \title\nofrills User's Guide to \AmSTeX{} Version 2.1\endtitle
  181. \date {\thismonth} {\number\year}\enddate
  182. \widestnumber\head{7}
  183. \head 1. Overview\endhead
  184. \head 2. Formatting Features\endhead
  185. \head 3. Mathematical Constructions\endhead
  186. \head 4. Fonts\endhead
  187. \head 5. Symbol Names\endhead
  188. \head 6. Other Things You Ought to Know\endhead
  189. \head 7. Getting Help\endhead
  190. \head {} References\endhead
  191. \head {} Appendix A. Sample Bibliography Input and Output\endhead
  192. \head {} Appendix B. Installation Procedures -- PC\endhead
  193. \head {} Appendix C. Installation Procedures -- Macintosh\endhead
  194. \endtoc
  195. \endtopmatter
  196. \document
  197. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  198. \head 1. Overview\endhead
  199. \AmSTeX{} is a macro package for \TeX{}, designed to simplify the input
  200. of mathematical material and format the output according to preset style
  201. specifications.  Although the \AMS{} holds the copyright for \AmSTeX{},
  202. its use is not restricted, but is encouraged for the preparation of
  203. manuscripts intended for publication both in the Society's books and
  204. journals, and also in other mathematical literature.  In recognition of
  205. the copyright, the Society requests that published documents prepared
  206. with \AmSTeX{} include an acknowledgment of its use.  The suggested
  207. forms for acknowledgments are given in the section {\bf Other Things You
  208. Ought to Know}.
  209. Version 2.0 of \AmSTeX{} contained numerous minor improvements
  210. and bug fixes, as well as some major changes involving additional fonts.
  211. This User's Guide describes all the new and changed features and how
  212. to use them, with further additions and revisions pertaining
  213. to version 2.1.  Topics are grouped by type, and then presented in roughly
  214. the same order as they appear in \JoT{}.
  215. This User's Guide assumes that you already have a copy of \JoT{}. It
  216. contains references to specific sections that won't help you much if you
  217. don't have a copy. It also assumes for the most part that you will be
  218. using the ``preprint style,'' a set of macros that provides features
  219. specific to the formatting of a document, such as headings, page
  220. numbers, and the like. If you are planning to use the preprint style,
  221. you will also need to have a copy of AMSFonts Version~2.1.  \JoT{} and
  222. AMSFonts 2.1 are available from the \AMS{} and other distributors.
  223. \subhead Files Comprising the \AmSTeX{} Version~2.1 package
  224. \endsubhead
  225. The following files are contained in the \AmSTeX{} Version~2.1 package
  226. distributed by the \AMS{}:
  227. \medskip
  228. \settabs\+\indent&\filnam{AMSGUIDE.TEX}\qquad&\kern.6\hsize\cr
  229. \+&\filnam{AMSTEX.TEX}&
  230.         the \AmSTeX{} Version 2.1 macros\cr
  231. \+&\filnam{AMSSYM.TEX}&
  232.         macros defining the symbols in fonts \filnam{msam} and
  233.        \filnam{msbm}\cr
  234. \+&\filnam{AMSPPT.STY}&
  235.        the preprint style for \AmSTeX{} Version 2.1\cr
  236. \+&\filnam{AMSPPT.DOC}&
  237.        technical documentation for \filnam{AMSPPT.STY}\cr
  238. \+&\filnam{AMSGUIDE.TEX}&
  239.        the source file for this User's Guide\cr
  240. \+&\filnam{AMSPPT1.TEX}&
  241.        a backward compatibility file for use with documents\cr
  242. \+&&   already completed using \AmSTeX{} versions earlier than 2.0\cr
  243. \+&\filnam{JOYERR.TEX}&
  244.        errata to \JoT{} (first edition)\cr
  245. \+&\filnam{*.TFM}     &
  246.        TFM files for AMSFonts Version 2.1\cr
  247. \+&\filnam{AMSTEX.INI}&
  248.        Used in creating format files\cr
  249. \+&\filnam{AMSTEX.BAT}&
  250.        DOS installations only\cr
  251. \medskip
  252. The file \filnam{AMSPPT.DOC} is an {\smc ascii} file, and is
  253. not intended to be processed with \TeX{}\null.  This  documentation file
  254. is arranged in the same order as the macro file that it describes, and
  255. explains the intent and mechanics of the macros in detail.  A separate
  256. file (\filnam{AMSTEX.DOC}), documenting the file \filnam{AMSTEX.TEX},
  257. is available on request.
  258. In addition, other files are used during installation from diskettes.
  259. For instructions on installing the \AmSTeX{} macros and preprint style,
  260. see Appendixes B and C.  These appendixes describe the
  261. installation process for two common systems: PC\TeX{} on an IBM PC or
  262. compatible, and \Textures{} on a Macintosh.  They also give suggestions
  263. for installation on other systems.
  264. \subhead General Description of Changes\endsubhead
  265. \AmSTeX{} 2.0+, the preprint style, and their technical
  266. documentation are the result of a joint effort begun by Michael Spivak
  267. and extended by the Composition Technical Support group of the \AMS{}.
  268. In version 2.0 of \AmSTeX{}, the following changes were made:
  269. \widestnumber\item{10}
  270. \roster 
  271. \item All known bugs were eliminated.
  272. \item Messages were added identifying the current versions of
  273.   \filnam{AMSTEX.TEX} and \filnam{AMSPPT.STY}, to be displayed on your
  274.   terminal screen and in the log file.
  275. \item Some error and help messages were changed for the sake of
  276.   clarity or to provide more information.
  277. \item Refinements were made to conserve memory space.
  278. \item The CM versions of the Computer Modern fonts were substituted for the
  279.   older AM versions.
  280. \item Support for additional fonts was added.
  281.   \itemitem{(a)} \filnam{AMSTEX.TEX} provides the mechanism for accessing
  282.     the Euler and extra symbol fonts of the AMSFonts collection.
  283.   \itemitem{(b)} The preprint style assumes that fonts \filnam{msam},
  284.     \filnam{msbm}, and \filnam{eufm} are installed and available.
  285. \item Changes were made to the preprint style to make it conform
  286.   more closely to the style of AMS publications, in particular, the \JAMS.
  287.   \itemitem{(a)} Running heads were made automatic; they can be suppressed
  288.     if desired.
  289.   \itemitem{(b)} Additional elements are recognized in both the top matter
  290.     and the body of a document, and the input syntax was regularized.
  291.   \itemitem{(c)} Footnotes were changed to have normal indentation.%
  292.        \footnote{Like this.}
  293.   \itemitem{(d)} The style of the references was changed considerably.
  294. \item The ability to produce roman-numeral page numbers using the
  295.   plain \TeX{} convention (negative \cs{pageno}) was added.
  296. \item In the preprint style, mathematics-oriented hyphenation exceptions
  297.   were added.  (These follow American, not British, rules.)
  298. \item An option was added in the preprint style that
  299.   allows documents to be formatted
  300.   as chapters of a monograph rather than as separate papers.
  301. \item Finally, some optional formatting features requested by
  302.   \AmSTeX{} users were added to the preprint style.
  303. \endroster
  304. \medskip
  305. In version 2.1, the following changes were made:
  306. \roster
  307. \item \cs{curraddr} and \cs{rom} were added.
  308. \item Additional error conditions were identified and supplied with more
  309.   informative messages.
  310. \item A sporadic line-breaking problem in the preprint style references
  311.   section was remedied.
  312. \item Some bugs introduced into the preprint style during the
  313.  version 2.0 changes were found and eliminated.
  314. \item Use of the Euler fonts other than medium Euler Fraktur was
  315.   made more convenient.
  316. \item The ability to use multiple \cs{thanks} commands was added.
  317. \item The installation instructions were revised and augmented.
  318. \item The backward compatibility file \filnam{AMSPPT1.TEX} was added.
  319. \endroster
  320. \subhead This User's Guide\endsubhead
  321. This User's Guide has been prepared using \AmSTeX{} Version~2.1 with the
  322. preprint style.  Some changes have been made: font and dimension settings
  323. have been reset, the macros for headings have been redefined to produce a
  324. result more suited to documentation, and some {\it ad hoc\/} macros have
  325. been defined to simplify the presentation of particular information.
  326. However, in general, this document and the file from which it was produced
  327. illustrate the general appearance and input for a preprint with running
  328. heads.  Printing the output of \TeX{} for this Guide requires AMSFonts
  329. Version~2.0 or later
  330. (users of AMSFonts Version~2.0 are strongly encouraged to upgrade to
  331. Version~2.1).
  332. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  333. \head 2. Formatting Features
  334. \endhead
  335. Formatting documents prepared with \AmSTeX{} is accomplished by a
  336. ``style file.''  The features described here are part of the preprint
  337. style.  The \AmSTeX{} preprint style, Version~2.1, will format an input
  338. file in a manner suitable for a paper in a journal, unless  the style of
  339. a \cs{Monograph} is explicitly selected.  Unless noted otherwise, 
  340. the journal style is the style described below.
  341. \setbox1=\hbox{\tt\\dedicatory...\\enddedicatory\ }
  342. \setbox0=\vbox{\hsize=\wd1\parindent=0pt\tt\obeylines
  343.   \strut\\title...\\endtitle
  344.   \\author...\\endauthor
  345.   \\affil...\\endaffil
  346.   \\address...\\endaddress
  347.   \\curraddr...\\endcurraddr
  348.   \\email...\\endemail
  349.   \\dedicatory...\\enddedicatory
  350.   \\date...\\enddate
  351.   \\thanks...\\endthanks
  352.   \\translator...\\endtranslator
  353.   \\keywords...\\endkeywords
  354.   \\subjclass...\\endsubjclass
  355.   \strut\\abstract...\\endabstract\endgraf}
  356. \setbox1=\hbox{$\dsize\left\lbrace\,\vcenter{\vphantom{\copy0}}\right.
  357.    \nulldelimiterspace=0pt$}%
  358. \setbox2=\hbox{\kern-\wd1$\dsize\left\lbrace\,\vcenter{\copy0}\right\rbrace$}
  359. \subhead Top Matter\endsubhead
  360. Some commands affect the appearance of a whole document.  Such commands
  361. should go at the top of your input file, right after the \cs{documentstyle}
  362. line and before the \cs{topmatter} line.  This area will be referred to as
  363. the ``preamble.''  Commands that should be in the preamble include 
  364. \cs{define}, \cs{TagsOnRight} and the like,
  365. \cs{NoPageNumbers}, \cs{NoRunningHeads}, \cs{Monograph},
  366. \cs{pagewidth}, \cs{pageheight}, \cs{pageno},
  367. and commands that load fonts.
  368. The preamble is relevant to any document, whether paper or monograph.
  369. The beginning of an
  370. \AmSTeX{} file should look something like this:
  371. \beginexample{}
  372. \\input amstex
  373. \\documentstyle\{...\}
  374. \medskip
  375. \<preamble commands, such as \cs{define}, \cs{pageno}, \cs{Monograph}, 
  376. \leavevmode\hbox to20pt{}\cs{NoRunningHeads}, \cs{loadbold}, etc.>
  377. \medskip
  378. \\topmatter
  379. \indent\box2
  380. \strut\\endtopmatter
  381. \\document
  382. \endexample
  383. If any \cs{end...} tag is omitted (or misspelled), an error message will
  384. appear at \cs{endtopmatter} or at the next blank line: for example, if
  385. you misspell \cs{endtitle}, the message will be something like ``{\tt
  386. !~Paragraph ended before \cs{title} was
  387. com\discretionary{-}{}{}plete}.'' If you omit \cs{endtopmatter}, there
  388. won't be any error message, but none of the topmatter material will
  389. print.{\tolerance2000\par}
  390. If you have documents that were prepared for versions of \AmSTeX{}
  391. earlier than version 2.0, you may find the file \filnam{amsppt1.tex}
  392. useful.  By including the line \cs{input amsppt1} immediately after the
  393. \cs{documentstyle} line, the topmatter commands and the sectioning
  394. commands that changed in form will work in the original way. Other than
  395. that, there should be few incompatibility problems with previous
  396. versions. Note: The use of \filnam{amsppt1.tex} is discouraged except
  397. for processing preexisting files.
  398. For multi-line titles, affiliations, authors, or dedications (basically
  399. everywhere that lines are centered individually rather than being set in
  400. paragraphs), line breaks are obtained by using \cs{\\}.  In other parts
  401. of the topmatter, which are set in paragraph form, line breaks are
  402. obtained by \cs{linebreak}.
  403. The title will be set in uppercase.  To turn off the automatic
  404. uppercasing, use the \cs{nofrills} option:
  405. \cs{title\\nofrills...\\endtitle}.
  406. Electronic mail addresses can be keyed using \cs{email}\dots\cs{endemail}.
  407. Every \cs{email} address must be preceded by a regular \cs{address},
  408. otherwise the e-mail address will not print.
  409. Multiple \cs{email} addresses may be used, but each
  410. \cs{email}\dots\cs{endemail} must be paired with the \cs{address}
  411. of the same author.  The \cs{email} address will be printed at the end
  412. of the paper, as ``{\it E-mail address:\/} \<net-address>,'' following
  413. the address with which it is paired.
  414. Normally, the address given in \cs{address} is 
  415. the address of the author at the time the research
  416. was being done; if the author's address at the time of
  417. publication is different, the current address should be
  418. given in \cs{curraddr}.  This should be entered between
  419. \cs{address} and \cs{email} in the document file.
  420. Like \cs{email}, multiple \cs{curraddr}'s can be used, if
  421. each one is keyed after the \cs{address} of the author to which it
  422. pertains.  If it is not preceded by an \cs{address}, the
  423. current address will not print.
  424. The \cs{dedicatory} command is used for such things as
  425. ``Dedicated to Professor X on the occasion of his eightieth birthday.''
  426. The dedication will appear in italics, before the abstract.
  427. The \cs{thanks} command is provided for acknowledgments of grant support
  428. and other kinds of support for the author's research, or other general
  429. information not covered by one of the predefined tags such as
  430. \cs{keywords} or \cs{subjclass}. The information will be printed as an
  431. unnumbered footnote at the bottom of the first page.  Like \cs{address},
  432. \cs{thanks} can be used more than once.
  433. In case a paper has not only an author but a translator, \cs{translator}
  434. is provided.  This information will be printed at the end of the paper in
  435. eight-point roman, as ``Translated by'' followed by the translator's name
  436. in uppercase.
  437. The information for \cs{keywords} and \cs{subjclass} appears as
  438. unnumbered footnotes at the foot of the first page, as in AMS journals.
  439. In a monograph chapter they will not print at all, since they should be
  440. handled separately, as part of the front matter for the monograph.
  441. The abstract heading ``{\eightpoint\smc Abstract.}'' appears in caps
  442. and small caps, in the same size (eight point) as the abstract itself.
  443. A simple table of contents setup is available.  Tables of contents
  444. are typed in the topmatter along with everything else (except for
  445. monographs---see the section {\bf Book Formatting} below), using
  446. \cs{toc...\\endtoc}.
  447. \beginexample{}
  448. \\toc
  449. \\specialhead...\\endspecialhead
  450. \\head...\\endhead
  451. \\subhead...\\endsubhead
  452. \\subsubhead...\\endsubsubhead
  453. \\endtoc
  454. \endexample
  455. \noindent
  456. The syntax of the parts is identical to the syntax used
  457. for headings within the document (see the sections {\bf Headings} and
  458. {\bf Book Formatting} below), so that for those who wish to do so
  459. and have a capable text editor, the table of contents can be constructed
  460. by extracting the relevant lines from the main text.\footnote{But note that
  461. the original line breaks in multi-line headings would not be appropriate
  462. for the table of contents, so you'd want to remove any \cs{\\}'s that
  463. might be present.}
  464. Page numbers aren't usually appropriate for the short table of contents
  465. that might appear in a journal article, but if desired, page numbers can
  466. be entered in a manner similar to that for a monograph; see the section
  467. {\bf Book Formatting} below.
  468. The hanging indentation within a table of contents for \cs{head} and
  469. \cs{subhead} is preset to accommodate numbers of the form
  470. ``1.''\ and ``1.1.''\ respectively; the amount of indentation can
  471. be adjusted by using \cs{widestnumber}:
  472. \beginexample{}
  473. \\toc
  474. \\widestnumber\\head\{10\}
  475. \\widestnumber\\subhead\{10.1\}
  476. \endexample
  477. \noindent This can be done more than once within different sections of
  478. the table of contents, if desired.
  479. If the ``section number'' of a \cs{head} happens to be something like
  480. ``Appendix'' (as actually happens in this User's Guide), a pair
  481. of empty braces should be entered before it, as follows:
  482. \beginexample{}
  483. \\head \{\}\ Appendix. Sample bibliography input ...\\endhead
  484. \endexample
  485. \noindent
  486. Insertion of {\tt\{\}} followed by a space at the beginning of the heading
  487. text will cause the entire entry to be set flush left as a unit.
  488. If you are preparing a monograph, the format and content of the top matter
  489. will be different.  See the section below on {\bf Book Formatting} for
  490. details.
  491. \subhead Headings \endsubhead
  492. There are four levels of headings (not counting
  493. \cs{title}'s):
  494. \beginexample{}
  495. \\specialhead...\\endspecialhead
  496. \\head...\\endhead
  497. \\subhead...\\endsubhead
  498. \\subsubhead...\\endsubsubhead
  499. \endexample
  500. \noindent The heading of
  501. this section was typed as
  502. \beginexample{}
  503. \\head 2. Formatting Features
  504. \\endhead
  505. \endexample
  506. \noindent And the subheading for this subsection was typed as
  507. \beginexample{}
  508. \\subhead Headings\\endsubhead
  509. \endexample
  510. \noindent
  511. Ordinarily, subheadings in the preprint style are run into the text, but for
  512. this User's Guide, the style varies slightly.
  513. \indent\cs{specialhead} is for long articles that need extra divisions at
  514. a level above the \cs{head} level. In the preprint style
  515. \cs{specialhead} uses boldface type and is set ragged right; \cs{head}
  516. is small caps, centered; \cs{subhead} is boldface, flush left,
  517. run in with the following text; and
  518. \cs{subsubhead} is italic, indented as for an ordinary paragraph, and run
  519. into the text.
  520. Explicit line breaks are obtained by a \cs{\\} in a \cs{head} or a
  521. \cs{specialhead}, but for \cs{subhead} and \cs{subsubhead},
  522. which are part of their paragraph, just use \cs{linebreak} as
  523. you would in normal paragraphed text.
  524. If you are preparing a monograph, the styles of headings will be different.
  525. See the section below on {\bf Book Formatting} for details.
  526. \subhead Theorems and Proofs \endsubhead
  527. In addition to the usual proclamations and demonstrations, mathematicians
  528. may pose other kinds of propositions, which editors may prefer to see
  529. presented in different styles.  The following have been provided in
  530. the preprint style.
  531. \beginexample{}
  532. \\definition...\\enddefinition
  533. \\example...\\endexample
  534. \\remark...\\endremark
  535. \endexample
  536. \noindent
  537. In the preprint style \cs{definition} and \cs{example} have
  538. the spacing and heading font of \cs{proclaim}, but are in roman.
  539. \cs{remark} resembles \cs{demo}
  540. except that extra space added at the end of a proof by \cs{enddemo}
  541. is not added by \cs{endremark}.
  542. In accordance with the style of the \JAMS, the labels on \cs{proclaim}'s
  543. and similar constructions are now printed in boldface type (\cs{bf}).
  544. However, unlike the \JAMS, the preprint style uses slanted type (\cs{sl})
  545. for the text of a \cs{proclaim}, rather than italic.
  546. (Most \AMS{} publications currently use Times Roman fonts, for which no
  547. slanted form was designed.)
  548. It is conventional in mathematical publishing to use roman,  upright
  549. numbers and punctuation even in the midst of
  550. italic text, to avoid visual conflicts with numbers and punctuation in
  551. adjacent math formulas.  Since dedicated ``mathematical text italic''
  552. fonts containing roman numbers and punctuation are not currently
  553. available, the \filnam{amsppt} preprint style provides a command
  554. \cs{rom} to be applied  inside theorems and other stretches of
  555. italic text, to give the desired results.
  556. For example, to~produce\-
  557. \proclaim{Proposition 2.5} Let $S_1,\dots,S_m$ be the components
  558. of a $J$-holomorphic cusp-curve $S$ and suppose that each
  559. component $S_i$ is \rom(a multiple covering of\rom) a regular
  560. curve and that Assumption \rom{(1.4a)} is satisfied. \dots
  561. \endproclaim
  562. \noindent you would use \cs{rom} in the following places:
  563. \beginexample{}
  564. each component \$S\char`\_i\$ is \\rom(a multiple covering of\\rom) a
  565. regular curve and that Assumption \\rom\{(1.4a)\} is satisfied
  566. \endexample 
  567. As you can see, \cs{rom} is used like the math font command \cs{roman}:
  568. it applies to the next single character or the next group enclosed in
  569. braces.
  570. \subhead Other Devices \endsubhead
  571. For a list produced by \cs{roster}, the amount of indentation can be
  572. adjusted to accommodate wide item numbers.  Just before beginning the
  573. \cs{roster}, type, for example, \cs{widestnumber\\item\{(viii)\}}.
  574. This adjustment is temporary.  The default will be reinstated by
  575. \cs{endroster}.
  576. The command \cs{cite} produces
  577. a reference citation in roman type, within square brackets: \cite{21}.
  578. A structure \cs{block...}\cs{endblock} is provided for quotations.
  579. It is intended for use in the middle of a paragraph to quote an
  580. extract from another source.
  581. \subhead Book Formatting \endsubhead
  582. If you are preparing a monograph, several features are available in the
  583. preprint style that will make your output look like chapters rather than
  584. individual papers.
  585. First of all, you must signal your intentions by typing \cs{Monograph}
  586. in the preamble, right after the \cs{documentstyle} line.
  587. A typical topmatter section for a monograph chapter would be typed
  588. like this:
  589. \beginexample{}
  590. \\documentstyle\{amsppt\}
  591. \\Monograph
  592. \\topmatter
  593. \\title\\chapter\{4\} Matrix Algebras\\endtitle
  594. \\endtopmatter
  595. \endexample
  596. \noindent which produces a chapter heading that looks like this:
  597. \bigskip
  598. \vbox{
  599. \centerline{\eightpoint CHAPTER IV}
  600. \bigskip
  601. \centerline{\bf MATRIX ALGEBRAS}}
  602. \bigskip
  603. \noindent
  604. Notice that the number is converted automatically to roman numerals and
  605. the word ``{\eightpoint CHAPTER}'' is added.  For a chapter title that
  606. needs a different sort of treatment, \cs{nofrills} can be used:
  607. \beginexample{}
  608. \\topmatter
  609. \\title\\chapter\\nofrills\{APPENDIX D\} The Poisson Integral\\endtitle
  610. \\endtopmatter
  611. \endexample
  612. \noindent This produces
  613. \bigskip
  614. \vbox{
  615. \centerline{\eightpoint APPENDIX D}
  616. \bigskip
  617. \centerline{\bf THE POISSON INTEGRAL}}
  618. \bigskip
  619. \noindent The replacement \cs{chapter} text will appear exactly as
  620. typed.
  621. Finally, for things like a preface or introduction which have no
  622. pretitle text at all, omit the \cs{chapter} command:
  623. \beginexample{}
  624. \\topmatter
  625. \\title Preface\\endtitle
  626. \\endtopmatter
  627. \endexample
  628. In monographs, the table of contents is usually treated as a separate
  629. chapter.  Start by typing the title ``Contents'' as for a preface or
  630. introduction, and then use the \cs{toc...\\endtoc} structure as the
  631. body of the document (rather than putting it in the topmatter, as you
  632. would for a journal article).
  633. \beginexample{}
  634. \\topmatter
  635. \\title Contents\\endtitle
  636. \\endtopmatter
  637. \bigskip
  638. \\document
  639. \\toc
  640. \\title Preface\\page\{vii\}\\endtitle
  641. \\title\\chapter\{1\} Matrix Algebras\\page\{1\}\\endtitle
  642. \\head \{\} Continuous complex-valued functions\\page\{1\}\\endhead
  643. \\title Bibliography\\page\{307\}\\endtitle
  644. \\endtoc
  645. \\enddocument
  646. \endexample
  647. The chapter titles listed in the table of contents are typed in the same
  648. way as in actual use.  To get page numbers in the table of contents, use
  649. \cs{page} as shown, just before the ending of an element.  This option
  650. is available for all levels of headings.
  651. In a monograph using the preprint style, the chapter title is used for
  652. the left running head and the text of section headings
  653. (from \cs{head}) appears as the right running head.  
  654. It's not uncommon for the text of a heading to be too long to fit
  655. in the running head width; in such a case use \cs{rightheadtext} to
  656. specify a shortened form of the heading for use in the running heads:
  657. \beginexample{}
  658. \\head Fourier coefficients of continuous periodic functions
  659. of bounded entropy norm\\endhead
  660. \\rightheadtext\{Fourier coefficients of periodic functions\}
  661. \endexample
  662. \noindent This should follow immediately after the \cs{head}, to ensure
  663. that both take effect on the same page.  If the chapter title is too long
  664. to fit as a running head, a shortened form can be supplied in a similar
  665. way with \cs{leftheadtext} immediately after the \cs{title}.
  666. See also the section~{\bf Running Heads}.
  667. The style for a chapter of a monograph differs in some particulars from the
  668. style for a paper.  The text of a \cs{head} will be boldface instead of
  669. small caps; headings of theorems, propositions, definitions, remarks, etc\.
  670. will be small caps instead of boldface, and indented rather than flush 
  671. left.
  672. \subhead Inserts with Captions \endsubhead
  673. Figures, tables, and some other kinds of objects are often handled as
  674. inserts.  These objects may be prepared separately from the main document
  675. and pasted in, in which case space must be left for them.
  676. These objects usually have captions; a caption may be positioned above (for
  677. a table) or below (for a figure).
  678. An insert may be specified for the top or ``middle'' of a page, i.e.,
  679. right where the input for the insert occurs in the text.  These are
  680. typed as \cs{topinsert} and \cs{midinsert} respectively.
  681. Furthermore, a caption may be placed at the top or the bottom of the insert,
  682. using the tags \cs{topcaption} and \cs{botcaption} respectively.
  683. The general structure used to specify an insert with a caption at the top is:
  684. \beginexample{}
  685. \\topinsert\quad{\rm or}\quad \\midinsert
  686. \cs{captionwidth}\{\Dimen\}\quad{\rm(optional)}
  687. \\topcaption\{\<caption label>\}
  688. \ \<optional caption text>
  689. \\endcaption
  690. \cs{vspace}\{\Dimen\}\quad{\rm or}\quad%
  691.   \<optional code for the insertion body>
  692. \\endinsert
  693. \endexample
  694. Here the notation \Dimen{} means a valid \TeX{} dimension as
  695. described in the {\bf Dimensions} section of \JoT{}.
  696. If a bottom caption was desired, \cs{topcaption} would be replaced by
  697. \cs{botcaption}, and
  698. the \cs{vspace} command (or the
  699. optional code for the insertion body) would be moved before the
  700. \cs{botcaption} macro.
  701. The \cs{vspace\{\Dimen\}} option would be used to leave blank space for
  702. an object to be pasted into place.  The value of the \Dimen{} should be
  703. the exact height of the object to be pasted in, because extra space
  704. around the object and the caption are dependent on the document style,
  705. and will be provided automatically.
  706. The \cs{captionwidth\{\Dimen\}} option may be used to override the default
  707. caption width specified by the document style.
  708. The \<caption label> is something like ``Figure~1'' or ``Table~2a.''
  709. Do not type any final punctuation; it will be provided.  The caption
  710. label will be set in caps and small caps.
  711. The \<optional caption text> is any descriptive text that may be desired. 
  712. The preprint style will set this in roman.  Even if there is no text, the
  713. \cs{endcaption} tag must be present.
  714. If you choose to include the \TeX{} code for a figure, table, or other
  715. captioned object in the input, then omit the \cs{vspace} command
  716. and type the code where appropriate (before \cs{botcaption}
  717. or after the \cs{endcaption} of \cs{topcaption}).
  718. Sometimes a table is small enough that it is not necessary to put it in an
  719. insert.  If the caption is to appear above it, input can be typed as follows:
  720. \beginexample{}
  721. \\topcaption\{\<caption label>\}
  722. \ \<optional caption text>
  723. \\endcaption
  724. \ \<code for the table body>
  725. \endexample
  726. \noindent
  727. The form of the input would be the following if the caption is to appear below:
  728. \beginexample{}
  729. \ \<code for the table body>
  730. \\botcaption\{\<caption label>\}
  731. \ \<optional caption text>
  732. \\endcaption
  733. \endexample
  734. \noindent
  735. To avoid page-breaking problems,
  736. this form of ``insertion'' should be used only for very small objects.
  737. \subhead Page Numbers \endsubhead
  738. If you are using the preprint style, page numbers will appear in the running
  739. heads, at the outside margin, except for the first page, where the running head
  740. will be omitted and the page number will be centered at the bottom of the page.
  741. If you wish to omit page numbers, type \cs{NoPageNumbers} at the
  742. beginning of the document (after the \cs{documentstyle} line).
  743. The running head text will remain; see also {\bf Running Heads}.
  744. You can get roman numeral page numbers, e.g.\ for a table of contents or
  745. preface, using the normal \TeX{} convention of \cs{pageno} plus
  746. a negative number.
  747. \subhead Page Size \endsubhead
  748. In the preprint style, the default page width is 30pc, and the default
  749. height is 47.5pc. 
  750. You can change the size of the page by typing
  751. \beginexample{}
  752. \\pagewidth\{\Dimen\}\newline
  753. \\pageheight\{\Dimen\}
  754. \endexample
  755. \noindent using suitable \Dimen{}s, where by this notation we mean a
  756. valid \TeX{} dimension as described in the {\bf Dimensions} section of
  757. \JoT{}.
  758. \subhead QED \endsubhead
  759. In the preprint style, \cs{qed} gives an open box `$\square$',
  760. separated from what precedes it by a quad of space.
  761. \subhead Running Heads \endsubhead
  762. If you are using the preprint style, running heads similar to those in
  763. \Joy{} will appear, with text in the center and page numbers to the
  764. outside.  (On the first page, as usual, the running head is omitted, and
  765. the page number is placed at the bottom.)
  766. If you do nothing to define the text of the running heads, the author's
  767. name will be used on the left-hand and the title on the right-hand pages.
  768. (This is the style for papers; for monographs, see below.)
  769. If you want some other values, say a shortened title, you
  770. can redefine the text to appear on left- and right-hand pages by typing
  771. \beginexample{}
  772. \\leftheadtext\{\<left running head text>\}
  773. \\rightheadtext\{\<right running head text>\}
  774. \endexample
  775. \noindent These instructions can appear anywhere after the
  776. \cs{documentstyle} command, but the most
  777. common place to use them is immediately after a \cs{title} or
  778. \cs{author} or \cs{head} to override the automatic running head text. 
  779. If \cs{rightheadtext} or \cs{leftheadtext} is specified above the
  780. topmatter, \cs{title} and \cs{author} will not override them.
  781. If you are doing a monograph rather than a journal article, and use
  782. the \cs{Monograph} switch, it affects the running heads as follows:
  783. The chapter title appears in the left-hand running heads, and the text of
  784. the current section heading (from \cs{head}) appears in the right-hand
  785. running heads.  In chapters that don't contain any \cs{head}'s---for
  786. example, a foreword---both the left- and right-hand running heads
  787. will contain the chapter title.
  788. By default, running heads will be uppercase.  This is a frill that
  789. can be turned off by \cs{nofrills}, e.g.,
  790. \beginexample{}
  791. \\rightheadtext\\nofrills\{Text of Running Head\}
  792. \endexample
  793. If for some reason you don't want running heads at all, type
  794. \cs{NoRunningHeads} at the beginning of the document (after the
  795. \cs{documentstyle} line).  When running heads are omitted, page numbers
  796. will appear centered at the bottom of the page.  (And even those can be
  797. turned off using \cs{NoPageNumbers}.)
  798. In a monograph, if you don't want
  799. the text from the section \cs{head}'s to appear in the running heads
  800. you must redefine the internal command, \cs{headmark}, that is used
  801. by \cs{head} to set the right-hand running head. To do this, put the
  802. following line in your document file, after \cs{Monograph} and
  803. before \cs{topmatter}:
  804. \beginexample{}
  805. \\redefine\\headmark\#1\{\}
  806. \endexample
  807. \noindent (where the {\tt\#1} is an argument number as explained in \Joy,
  808. in the description of \cs{define} and related commands).
  809. \subhead Tables \endsubhead
  810. There are no special macros to support the creation of tables in
  811. \AmSTeX{}. Plain \TeX{}'s \cs{settabs}
  812. command and \cs{halign} can also be used (see {\it The \TeX{}book} for
  813. documentation of their usage). More sophisticated table macro packages
  814. are available from other sources. See also the section {\bf Inserts with
  815. Captions} above.
  816. \subhead Bibliographies \endsubhead
  817. The references section of a paper begins with \cs{Refs} and must have
  818. \cs{endRefs} at the end.  Each entry in the references begins with
  819. \cs{ref} and ends with \cs{endref}.  The individual elements between
  820. \cs{ref} and \cs{endref} can be specified in any order. However,
  821. following \cs{ref} is usually a number or other label identifying the
  822. particular reference. This label is produced using \cs{key}.
  823. The format of the labels is determined by the current
  824. {\it references style}, which is set by the \cs{refstyle}
  825. command. The preprint documentstyle provides three reference
  826. styles denoted A, B, and C, corresponding to
  827. letter labels, no labels, and arabic numbers respectively.
  828. The form of the \cs{cite} and \cs{key} commands for each
  829. style, and the output they produce, is as follows:
  830. \vbox{\offinterlineskip\def\strut{\vrule depth.35\normalbaselineskip
  831.   width0pt height.75\normalbaselineskip}\tabskip0pt
  832.   \halign{{\tt\strut#}\hfil&\quad#\hfil&\quad\vrule\quad{\tt#}\hfil&
  833.        \quad#\hfil&\quad\vrule\quad{\tt#}\hfil&\quad#\hfil\cr
  834. \multispan2\strut depth.7\normalbaselineskip\hfil\cs{refstyle\{A\}}\hfil&
  835.        \multispan2\quad\vrule\hfil\cs{refstyle\{B\}}\hfil&
  836.               \multispan2\quad\vrule\hfil\cs{refstyle\{C\}}\hfil\cr
  837. \noalign{\hrule}
  838.  height1.1\normalbaselineskip\cs{cite\{DK\}}& [DK]&
  839.        \cs{cite\{Smith 1989\}}& [Smith 1989]&
  840.               \cs{cite\{19\}}& [19]\cr
  841. \cs{key DK}& [DK]&
  842.        \omit\quad\vrule\quad(no key)\hfil & (no label)&
  843.               \cs{key 19}& 19.\cr
  844. The \cs{refstyle} command is normally placed in the preamble of
  845. a document.
  846. The references are set with hanging indentation.  The amount of indentation
  847. is preset to accommodate the most common case, two-digit numbers.
  848. It can be increased (or decreased) by specifying the widest
  849. label used in the references. For example,
  850. \beginexample{}
  851. \\widestnumber\\key\{GHMR\} \% refstyle A
  852. \\widestnumber\\key\{999\} \% refstyle C --- 3 digits
  853. \endexample
  854. \noindent
  855. will increase the indentation to accommodate the key \hbox{[GHMR]}, or a
  856. three-digit number, respectively.   You could also specify
  857. \cs{widestnumber}\cs{key\{9\}} to reduce the indentation from two digits'
  858. worth to one, if your bibliography has fewer than ten entries. As the
  859. examples show, you do not include square brackets, periods, font
  860. commands, or other such formatting when using \cs{widestnumber}.  The 
  861. indentation will be adjusted for these things automatically.
  862. For consecutive references by the same author(s),  \cs{by} is used for
  863. the first reference, with the author name(s) given in full, and
  864. \cs{bysame} is used for subsequent ones---just the command \cs{bysame}
  865. without repetition of the name(s). The horizontal line produced by
  866. \cs{bysame} has a fixed length of three ems.
  867. Two variations, \cs{ed} and \cs{eds}, are provided for entering editor
  868. names, as with \cs{page} and \cs{pages}, because the note ``ed.''\ or
  869. ``eds.''\ is part of the automatic formatting.  If \cs{by} is absent,
  870. the editor name(s) will be used in place of the author name.
  871. For a proceedings volume, the place and date of the meeting can
  872. be recorded in the \cs{procinfo} field.  Parentheses will be
  873. added.
  874. There are two options for miscellaneous notes at the end of a reference,
  875. \cs{finalinfo} and \cs{miscnote}.  \cs{miscnote} differs only by
  876. automatically adding parentheses; it would typically be used for
  877. a note such as ``(preprint)'' or ``(submitted)'' or ``(to appear)''.
  878. Because it's fairly common, the latter has its own command \cs{toappear}
  879. that is equivalent to \cs{miscnote} {\tt to appear}.
  880. \cs{lang} is used to indicate the original language for papers where
  881. bibliographic information has been translated or there is some other reason
  882. to believe that the original language cannot be correctly identified from
  883. information in the reference.
  884. Sometimes several references are combined into one---for example, parts
  885. of a long paper that have been published separately.  Another type of
  886. compound reference is a work cited both in the original and in
  887. translation.  There are commands \cs{moreref} and \cs{transl} to handle
  888. such situations.  After \cs{moreref} and \cs{transl}, any of the normal
  889. reference tags can be used again.
  890. \cs{moreref} is used for citing, e.g., ``part II'' of an article; the
  891. \cs{moreref} command is followed by the desired additional tags and
  892. data.  For example:
  893. \beginexample{}
  894. ...\\moreref\\paper\\rom\{II\}
  895. \\jour Comm. Pure Appl. Math. \\vol 36
  896. \\yr 1983 \\pages 571--594\\endref
  897. \endexample
  898. When using \cs{transl}, a note  that describes the translation is
  899. normally entered between \cs{transl} and the next tag. The tags and data
  900. for the translated work then follow. For example: 
  901. \beginexample
  902. ...\\transl English transl. \\publ Birkh\\"auser 
  903. \\publaddr Basel \\yr 1985 \\endref
  904. \endexample
  905. Automatic punctuation will be omitted if the pertinent field was
  906. included but left blank.  Otherwise, the command \cs{nofrills} can be
  907. used to keep automatic punctuation from appearing.  For example,
  908. \cs{bookinfo\\nofrills...}\ suppresses the comma or other punctuation
  909. that would normally be added at the end of the \cs{bookinfo}
  910. information. \cs{nofrills} also suppresses other automatic formatting
  911. such as the word ``eds.'' for \cs{eds}, the word ``vol.'' for book volumes,
  912. or the parentheses around the year for journal articles. The ending
  913. period of a reference can be suppressed with
  914. \cs{finalinfo}\cs{nofrills}.
  915. Some examples will illustrate the use of these tags.  See Appendix~A for
  916. samples of input and output. See also Appendix~C of \JoT{} (first
  917. edition: Appendix~B) for more information on references.
  918. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  919. \head 3. Mathematical Constructions
  920. \endhead
  921. \subhead Wide Accents in Math Mode \endsubhead
  922. In version 2.0+ of the AMSFonts,
  923. there are wider versions of the \cs{widehat} and \cs{widetilde}
  924. accents; they appear on lines (5) and (6):
  925. \beginexample{}
  926. \exbox{(1)}{\$\\hat x, \\tilde x\$} $\hat x, \tilde x$
  927. \exbox{(2)}{\$\\widehat x, \\widetilde x\$} $\widehat x, \widetilde x$
  928. \exbox{(3)}{\$\\widehat\{xy\}, \\widetilde\{xy\}\$} %
  929.   $\widehat{xy}, \widetilde{xy}$
  930. \exbox{(4)}{\$\\widehat\{xyz\}, \\widetilde\{xyz\}\$} %
  931.   $\widehat{xyz}, \widetilde{xyz}$
  932. \exbox{(5)}{\$\\widehat\{xyzu\}, \\widetilde\{xyzu\}\$} %
  933.   $\widehat{xyzu}, \widetilde{xyzu}$
  934. \exbox{(6)}{\$\\widehat\{xyzuv\}, \\widetilde\{xyzuv\}\$} %
  935.   $\widehat{xyzuv}, \widetilde{xyzuv}$
  936. \endexample
  937. \noindent
  938. These wider accents are in the \filnam{msbm} family.  If \filnam{msbm}
  939. has been loaded, \cs{widehat} and \cs{widetilde} will automatically
  940. select these wider versions when required; otherwise, the characters
  941. on line (4) will be the largest available.  If you are using the
  942. preprint style, \filnam{msbm} is loaded automatically; otherwise,
  943. see the section entitled {\bf Fonts} for instructions on loading it.
  944. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  945. \head 4. Fonts\endhead
  946. \subhead Additional fonts for \AmSTeX{}\endsubhead
  947. A number of fonts were created for use with \AmSTeX{} 2.0+, both
  948. Computer Modern fonts in sizes not previously available and new fonts
  949. of alphabets and symbols intended to be used for mathematical notation.
  950. These fonts are in the collection AMSFonts Version~2.1.  They must be
  951. installed on your computer before you can use \AmSTeX{}'s preprint style
  952. or otherwise refer to them.
  953. Note that AMSFonts Version~2.1 cannot be used with versions of \AmSTeX{}
  954. earlier than Version~2.0, and \AmSTeX{} Version~2.1 cannot be used with
  955. versions of AMSFonts earlier than Version~2.0
  956. (users of AMSFonts Version~2.0 are strongly encouraged to upgrade to
  957. Version~2.1).
  958. Several of these fonts are loaded automatically by the preprint
  959. style and others can be loaded on demand.  The fonts available and the
  960. commands used to load them are described below.
  961. \subsubhead Fonts loaded with the preprint style
  962. \endsubsubhead
  963. Several fonts are loaded automatically for general use.
  964. \roster
  965. \item"--" \filnam{cmcsc8} is a new size of the Computer Modern small caps font.
  966. \item"--" \filnam{cmex8} and \filnam{cmex7} are new sizes of the Computer
  967.         Modern math extension font.  \filnam{cmex8} is used by the preprint
  968.         style in abstracts and other eight-point environments; \filnam{cmex7}
  969.         is used for all sub- and superscripts.
  970. \endroster
  971. \subsubhead Math fonts loaded with the preprint style
  972. \endsubsubhead
  973. \roster
  974. \item"--" \filnam{msam} and \filnam{msbm} contain extra symbols.  The symbols
  975.         and the names that will produce them are shown in the section 
  976.         {\bf Symbol Names} below.  If you are not using the preprint style,
  977.         each can be loaded separately by \cs{loadmsam} or \cs{loadmsbm}
  978.         as appropriate.
  979. \item"--" \filnam{eufm} is the medium-weight Euler Fraktur (German) font.
  980.         It can also be loaded by \cs{loadeufm} if the preprint style is not
  981.         being used.
  982. \endroster
  983. \subsubhead Math fonts loaded by \cs{loadbold}
  984. \endsubsubhead
  985. See the sections below on {\bf Bold Characters in Math Mode} and
  986. {\bf Bold Greek Letters} for details on accessing particular characters
  987. in these fonts.
  988. \roster
  989. \item"--" \filnam{cmmib} is Computer Modern bold math italic.
  990.         It also contains bold Greek.
  991. \item"--" \filnam{cmbsy} contains Computer Modern bold math symbols.
  992. \endroster
  993. \subsubhead Additional Euler fonts, for use in math, loaded by
  994. \cs{loadeu...}\tt\endsubsubhead
  995. \roster
  996. \item"--" \filnam{eufb} is bold Fraktur (\cs{loadeufb}).
  997. \item"--" \filnam{eusm} is medium-weight script (\cs{loadeusm}).
  998. \item"--" \filnam{eusb} is bold script (\cs{loadeusb}).
  999. \item"--" \filnam{eurm} is medium-weight ``cursive roman'' (\cs{loadeurm}).
  1000. \item"--" \filnam{eurb} is bold ``cursive roman'' (\cs{loadeurb}).
  1001. \endroster
  1002. \subsubhead Considerations and warnings\endsubsubhead
  1003. The commands to load these font files should be typed in the preamble area
  1004. between the 
  1005. \cs{documentstyle\{...\}} line and the \cs{topmatter}.
  1006. Each \cs{load...} command loads the pertinent fonts (including
  1007. subscript sizes), assigns a ``math
  1008. family'' for them, and defines a math font command.
  1009. The names of the commands are the same as the font names:
  1010. \cs{eufm}, \cs{eufb}, \cs{eusm}, \cs{eusb}, \cs{eurm}, and
  1011. \cs{eurb}.  These are used in the same way as
  1012. \cs{roman} or \cs{bold}, e.g., \cs{eufb\{M\}} or \cs{eufb M}@.
  1013. \AmSTeX{} also defines a couple of synonyms,
  1014. \cs{frak} and \cs{goth}, for \cs{eufm} (medium Euler Fraktur).
  1015. \TeX{} can accommodate only sixteen font families in math mode; eight
  1016. are already defined by plain \TeX{} before \AmSTeX{} begins, and the
  1017. preprint style loads three more (\filnam{msam}, \filnam{msbm}, and
  1018. \filnam{eufm}), for a total of eleven.  For this reason, you should load
  1019. additional fonts with care, requesting only those you know for certain
  1020. you will need.
  1021. All the fonts described here, and some others as well, are included in the
  1022. collection AMSFonts Version~2.1, which is available from the AMS and other
  1023. distributors.  The math fonts mentioned here are all supplied in sizes from
  1024. five through ten point, suitable for use in mathematical text.
  1025. \subhead Bold Characters in Math Mode \endsubhead
  1026. Bold letters are obtained by \cs{bold} as described in \Joy{}.
  1027. In addition, bold symbols, italic, and lowercase Greek can be
  1028. obtained once \cs{loadbold} appears in the file (this
  1029. requires version 2.0+ of \AmSTeX{} and AMSFonts).  Two control sequences
  1030. are used for different kinds of bold symbols:
  1031. \beginexample{\exboxwidth=1.25in}
  1032. \exbox{}{\\boldkey} for symbols that actually appear on the keyboard
  1033. \exbox{}{\\boldsymbol} for symbols specified by a single control sequence
  1034. \endexample
  1035. \noindent
  1036. For example,
  1037. $$\hbox{\tt\$\\bold x \\boldsymbol\\in \\boldsymbol\\varGamma\$}$$
  1038. gives
  1039. $$\bold x \boldsymbol\in \boldsymbol\varGamma$$
  1040. [and {\tt\$\\boldsymbol\\lbrack a \\boldsymbol\\rbrack\$} gives
  1041. $\boldsymbol\lbrack a \boldsymbol\rbrack$, if you need to use
  1042. \cs{lbrack} and \cs{rbrack} instead of the {\tt[} and {\tt]} keys].
  1043. More precisely, \cs{boldkey} can be used in math formulas in the
  1044. following combinations:
  1045. \roster
  1046. \item"$\bullet$" With any of the symbols
  1047. $$ +\ \ -\ \ =\ \ <\ \ >\ \ (\ \ )\ \ [\ \ ]\ \ |\ \ /\ \ *
  1048.     \ \ .\ \ ,\ \ :\ \ ;\ \ !\ \ ?$$
  1049. to give
  1050. \boldkey+\ \ \boldkey-\ \ \boldkey=\ \ \boldkey<\ \ \boldkey>\ \ 
  1051. \boldkey(\ \ \boldkey)\ \ \boldkey[\ \ \boldkey]\ \ \boldkey|\ \ 
  1052. \boldkey/\ \ \boldkey*\ \ \boldkey.\ \ \boldkey,\ \ \boldkey:\ \ 
  1053. \boldkey;\ \ \boldkey!\ \ \boldkey?
  1054. But \cs{bold} cannot be used to get bold versions of these symbols.
  1055. {\tt\$\\bold+\$} will give only the ordinary $+$, etc.
  1056. The bold $\boldkey+$ and $\boldkey-$ will be  binary operators,
  1057. like the ordinary $+$ and $-$ symbols;
  1058. the bold $\boldkey=$ will be a binary relation, like the ordinary $=$, etc.
  1059. \medskip
  1060. \item"$\bullet$" With letters:
  1061. \beginexample{\exboxwidth=3.75in}
  1062. \exbox{}{\$\\boldkey a\$, ..., \$\\boldkey z\$} %
  1063.         $\boldkey a, \dots, \boldkey z$
  1064. \exbox{}{\$\\boldkey A\$, ..., \$\\boldkey Z\$} %
  1065.         $\boldkey A, \dots, \boldkey Z$
  1066. \endexample
  1067. \noindent
  1068. Notice that these are $\fam\cmmibfam bold\ math\ italic$ letters, as
  1069. opposed to the bold text letters $\bold a, \dots, \bold z$, $\bold A,
  1070. \dots, \bold Z$ that you get by using \cs{bold} in math mode.
  1071. \medskip
  1072. \item"$\bullet$" With numbers:
  1073. \beginexample{\exboxwidth=3.75in}
  1074. \exbox{}{\$\\boldkey 0\$, ..., \$\\boldkey 9\$} %
  1075.         $\boldkey 0, \dots, \boldkey 9$
  1076. \endexample
  1077. \noindent
  1078. However, these combinations simply give the same numerals that you get with
  1079. {\tt\$\\bold0\$}, \dots, {\tt\$\\bold9\$}.
  1080. \endroster
  1081. \medskip
  1082. The \cs{boldsymbol} construction can be used in any of the following
  1083. combinations:
  1084. \roster
  1085. \item"$\bullet$" With uppercase and lowercase Greek letters
  1086. \beginexample{\exboxwidth=3.75in}
  1087. \exbox{}{\$\\boldsymbol\\Gamma\$, ..., \$\\boldsymbol\\Omega\$} %
  1088.         $\boldsymbol\Gamma$, \dots, $\boldsymbol\Omega$
  1089. \exbox{}{\$\\boldsymbol\\varGamma\$, ..., \$\\boldsymbol\\varOmega\$} %
  1090.         $\boldsymbol\varGamma$, \dots, $\boldsymbol\varOmega$
  1091. \exbox{}{\$\\boldsymbol\\alpha\$, ..., \$\\boldsymbol\\omega\$} %
  1092.         $\boldsymbol\alpha$, \dots, $\boldsymbol\omega$
  1093. \endexample
  1094. \noindent
  1095. In versions of \AmSTeX{} earlier than 2.0, bold unslanted uppercase
  1096. Greek letters $\boldsymbol\Gamma$, \dots, $\boldsymbol\Omega$ were
  1097. specified by \cs{boldGamma}, \dots, \cs{boldOmega}; these control
  1098. sequences have now disappeared. 
  1099. \medskip
  1100. \item"$\bullet$"
  1101. For convenience, \cs{boldsymbol} may also be followed by a letter (but
  1102. not by a number or other character), giving the same result as
  1103. \cs{boldkey}.
  1104. \medskip
  1105. \item"$\bullet$"
  1106. You can also apply \cs{boldsymbol} to all the other standard symbols that
  1107. are specified by single control sequences. For example, to get bold primes:
  1108. \beginexample{\exboxwidth=3.75in}
  1109. \exbox{}{\$\\boldsymbol\\prime\$} $\boldsymbol\prime$
  1110. \exbox{}{\$\\boldsymbol A\^{ }\{\\boldsymbol\\prime\}\$} %
  1111.         $\boldsymbol A^{\boldsymbol\prime}$
  1112. \endexample
  1113. \noindent
  1114. (But \cs{boldsymbol'}, using the shorthand notation for \cs{prime},
  1115. won't work.)
  1116. \medskip
  1117. \item"$\bullet$"
  1118. You can apply \cs{boldsymbol} to ``delimiters,'' such as
  1119. \beginexample{\exboxwidth=3.75in}
  1120. \exbox{}{\$\\boldsymbol\\\{ ... \\boldsymbol\\\}\$} %
  1121.         $\boldsymbol\{ \dots \boldsymbol\}$
  1122. \exbox{}{\$\\boldsymbol\\langle ... \\boldsymbol\\rangle\$} %
  1123.         $\boldsymbol\langle \dots \boldsymbol\rangle$
  1124. \exbox{}{\$\char`\|, \\boldkey\char`\|, \\\char`\|, \\boldsymbol\\\char`\|\$} %
  1125.         $|,\ \boldkey|,\ \|,\ \boldsymbol\|$
  1126. \exbox{}{\$\\vert, \\boldsymbol\\vert, \\Vert, \\boldsymbol\\Vert\$} %
  1127.         $\vert,\ \boldsymbol\vert,\ \Vert,\ \boldsymbol\Vert$
  1128. \endexample
  1129. \noindent
  1130. However, you can't use \cs{boldsymbol} after \cs{left} and \cs{right}.
  1131. In particular, typing
  1132. \hbox{\tt\\left\\boldsymbol\char`\|\ ...\ \\right\\boldsymbol\char`\|}
  1133. will produce only error messages.
  1134. \medskip
  1135. \item"$\bullet$"
  1136. Certain symbols on the bold fonts can't be accessed at all via \cs{boldkey}
  1137. or \cs{boldsymbol}: These include bold versions 
  1138. ${\fam\cmbsyfam A}$, \dots, ${\fam\cmbsyfam Z}$
  1139.  of the ``calligraphic letters'' $\Cal A$,~\dots, $\Cal Z$ that you type
  1140. as \cs{Cal A}, \dots, \cs{Cal Z},
  1141. and bold versions {\tencmmib0}, \dots, {\tencmmib9}
  1142.  of the oldstyle numbers
  1143. \oldnos0, \dots, \oldnos9 that you get with \cs{oldnos}.  If 
  1144. you really need to have these symbols, you will have to enlist the aid of a
  1145. \TeX{}nician, or use \cs{pmb}.
  1146. \endroster
  1147. \subhead Fraktur Font \endsubhead
  1148. The German Fraktur font, which is designed for use
  1149. only in math mode, can be made
  1150. available by typing \cs{loadeufm} in the preamble area
  1151. of your paper.  If you are using the preprint style,
  1152. medium-weight Fraktur is loaded automatically.
  1153. To produce a Fraktur letter, type
  1154. \beginexample{\exboxwidth=3.75in}
  1155. \exbox{}{\$\\frak g\$} $\frak g$
  1156. \exbox{}{\$\\frak A\$, \\dots, \$\\frak Z\$} $\frak A$, \dots, $\frak Z$
  1157. \endexample
  1158. \subhead Blackboard Bold \endsubhead
  1159. \AmSTeX{} has a ``blackboard bold'' font, \cs{Bbb}.  Like \cs{Cal},
  1160. it will work only in math mode, and only when applied to uppercase
  1161. letters.  This alphabet is part of the \filnam{msbm} font, and can be
  1162. made available by typing \cs{loadmsbm} at the top of your file.  (It is
  1163. loaded automatically with the preprint style.)
  1164. \beginexample{\exboxwidth=3.75in}
  1165. \exbox{}{\$\\Bbb A, \\Bbb C, \\Bbb R\$, etc.} $\Bbb A, \Bbb C, \Bbb R$, etc.
  1166. \endexample
  1167. \subhead Poor Man's Bold \endsubhead
  1168. \AmSTeX{} now has boldface versions of most math symbols.  However, if you
  1169. need only one or two bold symbols and have run out of \TeX{} capacity for
  1170. new fonts or font families, you can always get a poor man's bold version
  1171. of bold with \cs{pmb}, as described in \Joy{}.
  1172. \subhead Bold Greek Letters \endsubhead
  1173. Bold Greek letters, both lowercase and uppercase, can be obtained by
  1174. using the \cs{boldsymbol} construction, as described in {\bf Bold
  1175. Characters in Math Mode}.  The upright uppercase bold Greek letters are
  1176. part of the ordinary bold font and therefore extra font loading commands
  1177. do not need to be used in order to get them.  However, the lowercase and
  1178. slanted uppercase bold Greek letters are not loaded automatically, so
  1179. you must specify \cs{loadbold} before using them.
  1180. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1181. \head 5. Symbol Names
  1182. \endhead
  1183. The symbols in the \filnam{msam} and \filnam{msbm} fonts have been
  1184. assigned ``standard'' control sequence names as shown below.  All
  1185. the symbol names are loaded automatically by the preprint style; if
  1186. you are not using the preprint style, the command \cs{UseAMSsymbols}
  1187. will have the same effect.
  1188. This will add about 200 new
  1189. control sequences to \TeX{}'s internal table.  If you are short on
  1190. space, or need only a few of the symbols, you can use a different
  1191. approach to access just the ones you need.  See the section {\bf The
  1192. \cs{newsymbol} command} below.
  1193. \subhead Special Symbols and Blackboard Bold Letters
  1194. \endsubhead
  1195. Certain symbols from the \filnam{msam} family can be specified by
  1196. control sequences that will be defined as soon as the command
  1197. \cs{loadmsam} has appeared in the file.
  1198. First there are four symbols that are normally used outside of math mode:
  1199. $$\vcenter{\halign to\hsize{\1{#}\hfil\tabskip\centering&
  1200.    \hbox to.5\hsize{\1{#}\hfil}\tabskip0pt\cr
  1201. checkmark&circledR\cr
  1202. maltese¥\cr}}
  1203. These symbols, like \P, \S, \dag, and \ddag, can also be used in
  1204. math mode, and will change sizes correctly in subscripts and superscripts.
  1205. Next are four symbols that are ``delimiters'' (although there are
  1206. no larger versions obtainable with \cs{left} and \cs{right}), so they
  1207. must be used in math mode:
  1208. $$\vcenter{\halign to\hsize{\1{#}\hfil\tabskip\centering&
  1209.    \hbox to.5\hsize{\1{#}\hfil}\tabskip0pt\cr
  1210.  ulcorner&urcorner\cr
  1211.  llcorner&lrcorner\cr}}$$
  1212. Finally, two dashed arrows are constructed from symbols in this family.
  1213. Note that one of them has two names; it can be accessed by either one:
  1214. $$\vcenter{\halign to\hsize{\1{#}\hfil\tabskip\centering&
  1215.    \hbox to.5\hsize{\1{#}\hfil}\tabskip0pt\cr
  1216.  \omit\hbox to.5\hsize{\hbox to\biggest{\hfil$\dashrightarrow$\hfil}\ \ %
  1217.     \cs{dashrightarrow}, \cs{dasharrow}\hss}&dashleftarrow\cr}}$$
  1218. The Blackboard Bold letters $\Bbb A, \dots, \Bbb Z$
  1219. appear in the \filnam{msbm} family.  Once \cs{loadmsbm} has appeared
  1220. in the file, they can be typed (in math mode) as \cs{Bbb A}, \dots,
  1221. \cs{Bbb Z}.
  1222. The \filnam{msbm} family also contains wider versions of the \cs{widehat}
  1223. and \cs{widetilde} as described in Chapter 20, ``Wide accents in math
  1224. mode.''
  1225. \subhead The \cs{newsymbol} Command\endsubhead
  1226. All other symbols of the \filnam{msam} and \filnam{msbm} fonts must be named
  1227. by control sequences so that they can be used (in math mode only) when the
  1228. fonts are loaded.  This can be done all at once by typing the instruction
  1229. \cs{UseAMSsymbols}, which will load in the file \filnam{AMSSYM.TEX}\null.
  1230. This instruction is included in the preprint style, so the names are
  1231. assigned automatically, which requires over~200 control sequences.
  1232. If you are very short on space for control sequence names, and need only
  1233. a few of these symbols, you can omit \cs{UseAMSsymbols}.  Instead,
  1234. assign only the names you will need by using a new \AmSTeX{} control
  1235. sequence \cs{newsymbol} to create a control sequence that will
  1236. properly produce this symbol.  The control sequence can be either the
  1237. ``standard'' name, as listed below, or one of your own choosing.
  1238. The list of symbols below shows for each symbol the symbol itself, a
  1239. four-character~``ID,'' and the ``standard'' name of the symbol. 
  1240. (The first character of the ID identifies the font family in which a
  1241. symbol resides.  Symbols from the \filnam{msam} family have {\tt1} as the
  1242. first character; symbols from the \filnam{msbm} family have {\tt2} as the
  1243. first character.)
  1244. For example, the symbol $\nleqslant$ appears as
  1245. \medskip
  1246. \noindent\kern2\parindent\2{nleqslant}
  1247. \medskip
  1248. \noindent
  1249. To produce a control sequence with this name, the instruction
  1250. \medskip
  1251. \noindent\kern2\parindent\cs{newsymbol}\cs{nleqslant 230A}
  1252. \medskip
  1253. \noindent
  1254. appears in the file \filnam{AMSSYM.TEX}\null.  This same instruction can
  1255. be typed by a user who is not using the preprint style and has chosen not
  1256. to load all the symbol names by \cs{UseAMSsymbols}.  Thereafter, the
  1257. control sequence \cs{nleqslant} will produce the symbol $\nleqslant$
  1258. (in math mode), and will act properly as a ``binary relation.''
  1259. A few symbols in these fonts replace symbols defined in \filnam{PLAIN.TEX}
  1260. by combinations of symbols available in the Computer Modern fonts.  These
  1261. are \cs{angle}~($\angle$) and \cs{hbar}~($\hbar$) from the group
  1262. ``Miscellaneous symbols,'' and \cs{rightleftharpoons}~($\rightleftharpoons$)
  1263. from the group ``Arrows'' below (and \Joy, Appendix~F).  The new symbols will
  1264. change sizes correctly in subscripts and superscripts, provided that you
  1265. are using appropriate redefinitions.  In order to use \cs{newsymbol} to
  1266. replace an existing definition, the name must first be ``undefined.''
  1267. Here are the lines you must put in your file if you are not using the
  1268. preprint style or \cs{UseAMSsymbols} (which perform the redefinition
  1269. automatically):
  1270. \medskip
  1271. \begingroup
  1272. \parindent=2\parindent
  1273. \obeylines
  1274. \cs{undefine}\cs{angle}
  1275. \cs{newsymbol}\cs{angle 105C}
  1276. \cs{undefine}\cs{hbar}
  1277. \cs{newsymbol}\cs{hbar 207E}
  1278. \cs{undefine}\cs{rightleftharpoons}
  1279. \cs{newsymbol}\cs{rightleftharpoons 130A}
  1280. \endgroup
  1281. \medskip
  1282. \noindent
  1283. These symbols are flagged in the tables below with a ``{\eightpoint(U)}''
  1284. as a reminder that they must be undefined.
  1285. Note in the tables that some symbols are shown with two names.  In such
  1286. cases, either one can be used to access the symbol.
  1287. %  since the symbol tables are set in displays, decrease the skip
  1288. %  above, so that the space between a section heading and table is
  1289. %  not so large.
  1290. \abovedisplayskip=3pt plus 3pt minus 0pt
  1291. \BBB{Lowercase Greek letters}
  1292. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1293. digamma&varkappa\cr}$$
  1294. \BBB{Hebrew letters}
  1295. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1296. beth&gimel\cr 
  1297. daleth\cr
  1298. \BBB{Miscellaneous symbols}
  1299. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1300. \omit\4{hbar}&backprime\cr
  1301. hslash&varnothing\cr
  1302. vartriangle&blacktriangle\cr
  1303. triangledown&blacktriangledown\cr
  1304. square&blacksquare\cr
  1305. lozenge&blacklozenge\cr
  1306. circledS&bigstar\cr
  1307. \omit\4{angle}&sphericalangle\cr
  1308. measuredangle&\omit\cr
  1309. nexists&complement\cr
  1310. mhoð\cr
  1311. Finv&diagup\cr
  1312. Game&diagdown\cr
  1313. Bbbk&\omit\cr
  1314. \BBB{Binary operators}
  1315. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1316. dotplus<imes\cr
  1317. smallsetminus&rtimes\cr
  1318. \omit\3{Cap}{doublecap}&leftthreetimes\cr
  1319. \omit\3{Cup}{doublecup}&rightthreetimes\cr
  1320. barwedge&curlywedge\cr
  1321. veebar&curlyvee\cr
  1322. doublebarwedge\cr
  1323. boxminus&circleddash\cr
  1324. boxtimes&circledast\cr
  1325. boxdot&circledcirc\cr
  1326. boxplus¢erdot\cr
  1327. divideontimes&intercal\cr}
  1328. \BBB{Binary relations}
  1329. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1330. leqq&geqq\cr
  1331. leqslant&geqslant\cr
  1332. eqslantless&eqslantgtr\cr
  1333. lesssim>rsim\cr
  1334. lessapprox>rapprox\cr
  1335. approxeq\cr
  1336. lessdot>rdot\cr
  1337. \omit\3{lll}{llless}&\omit\3{ggg}{gggtr}\cr
  1338. lessgtr>rless\cr
  1339. lesseqgtr>reqless\cr
  1340. lesseqqgtr>reqqless\cr
  1341. \omit\3{doteqdot}{Doteq}&eqcirc\cr
  1342. risingdotseq&circeq\cr
  1343. fallingdotseq&triangleq\cr
  1344. backsim&thicksim\cr
  1345. backsimeq&thickapprox\cr
  1346. subseteqq&supseteqq\cr
  1347. Subset&Supset\cr
  1348. sqsubset&sqsupset\cr
  1349. preccurlyeq&succcurlyeq\cr
  1350. curlyeqprec&curlyeqsucc\cr
  1351. precsim&succsim\cr
  1352. precapprox&succapprox\cr
  1353. vartriangleleft&vartriangleright\cr
  1354. trianglelefteq&trianglerighteq\cr
  1355. vDash&Vdash\cr
  1356. Vvdash\cr
  1357. smallsmile&shortmid\cr
  1358. smallfrown&shortparallel\cr
  1359. bumpeq&between\cr
  1360. Bumpeq&pitchfork\cr
  1361. varpropto&backepsilon\cr
  1362. blacktriangleleft&blacktriangleright\cr
  1363. therefore&because\cr}$$
  1364. \bigbreak
  1365. \BBB{Negated relations}
  1366. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1367. nless&ngtr\cr
  1368. nleq&ngeq\cr
  1369. nleqslant&ngeqslant\cr
  1370. nleqq&ngeqq\cr
  1371. lneq&gneq\cr
  1372. lneqq&gneqq\cr
  1373. lvertneqq&gvertneqq\cr
  1374. lnsim&gnsim\cr
  1375. lnapprox&gnapprox\cr
  1376. nprec&nsucc\cr
  1377. npreceq&nsucceq\cr
  1378. precneqq&succneqq\cr
  1379. precnsim&succnsim\cr
  1380. precnapprox&succnapprox\cr
  1381. nsim&ncong\cr
  1382. nshortmid&nshortparallel\cr
  1383. nmid&nparallel\cr
  1384. nvdash&nvDash\cr
  1385. nVdash&nVDash\cr
  1386. ntriangleleft&ntriangleright\cr
  1387. ntrianglelefteq&ntrianglerighteq\cr
  1388. nsubseteq&nsupseteq\cr
  1389. nsubseteqq&nsupseteqq\cr
  1390. subsetneq&supsetneq\cr
  1391. varsubsetneq&varsupsetneq\cr
  1392. subsetneqq&supsetneqq\cr
  1393. varsubsetneqq&varsupsetneqq\cr}$$
  1394. \overfullrule=0pt
  1395. \BBB{Arrows}
  1396. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1397. leftleftarrows&rightrightarrows\cr
  1398. leftrightarrows&rightleftarrows\cr
  1399. Lleftarrow&Rrightarrow\cr
  1400. twoheadleftarrow&twoheadrightarrow\cr
  1401. leftarrowtail&rightarrowtail\cr
  1402. looparrowleft&looparrowright\cr
  1403. leftrightharpoons&\omit\4{rightleftharpoons}\cr
  1404. curvearrowleft&curvearrowright\cr
  1405. circlearrowleft&circlearrowright\cr
  1406. Lsh&Rsh\cr
  1407. upuparrows&downdownarrows\cr
  1408. %      Some fancy tricks to avoid a lot of extra work.  MJD
  1409. upharpoonleft&upharpoonright}\setbox0\lastbox\unhbox0\unskip,\hfill{\cr
  1410. downharpoonleft&\omit\kern7em \cs{restriction}\hfil\cr
  1411. multimap&downharpoonright\cr
  1412. leftrightsquigarrow&rightsquigarrow\cr}$$
  1413. \BBB{Negated arrows}
  1414. $$\halign{\hbox to.5\hsize{\2{#}}&\2{#}\cr
  1415. nleftarrow&nrightarrow\cr
  1416. nLeftarrow&nRightarrow\cr
  1417. nleftrightarrow&nLeftrightarrow\cr}$$
  1418. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1419. \head 6. Other Things You Ought to Know
  1420. \endhead
  1421. \subhead Errata to \JoT{} prior to \AmSTeX{} 2.0
  1422. \endsubhead
  1423. The file \filnam{JOYERR.TEX} contains the full list of errata
  1424. for the first edition of \JoT{}, for versions of \AmSTeX{}
  1425. earlier than version 2.0.  A user who
  1426. desires a typeset copy of this file may run it through \TeX{} and print
  1427. out the \filnam{.dvi} file.  This will require Version~2.0+ of \AmSTeX{}
  1428. and \filnam{AMSPPT.STY}, and also AMSFonts Version~2.0+
  1429. (users of AMSFonts Version~2.0 are strongly encouraged to upgrade to
  1430. Version~2.1).
  1431. \subhead Acknowledging the Use of \AmSTeX{}\endsubhead
  1432. The following are suggested as appropriate statements of acknowledgment
  1433. that \AmSTeX{} has been used to format a document for publication.
  1434. \penalty-9000 % to encourage a break without absolutely forcing it.
  1435. A single paper should include the following at the bottom of the first
  1436. page:
  1437. \beginexample{}
  1438. \rm{}Typeset by \AmSTeX{}
  1439. \endexample
  1440. \noindent
  1441. (This notation is provided automatically by the \AmSTeX{} preprint style.)
  1442. If an entire journal or book is prepared with \AmSTeX{}, the following
  1443. statement should appear on its copyright page:
  1444. \beginexample{}
  1445. \rm{}This [journal/book] was typeset by \AmSTeX{}, the \TeX{} macro %
  1446. system of the \AMS{}.
  1447. \endexample
  1448. If only selected papers in a journal or book are set with \AmSTeX{}, these
  1449. papers should be identified as shown above, and the following should
  1450. appear on the copyright page:
  1451. \beginexample{}
  1452. \rm{}\AmSTeX{} is the \TeX{} macro system of the \AMS{}.
  1453. \endexample
  1454. \head 7. Getting Help
  1455. \endhead
  1456. If you should find any bugs in the macros or documentation,
  1457. send a Problem Report to:
  1458. \beginexample{\rm}
  1459. Technical Support Department
  1460. \AMS{}
  1461. P. O. Box 6248
  1462. Providence, RI 02940
  1463. \vskip 2pt %
  1464. Phone: 800-321-4AMS \quad or \quad 401-455-4080
  1465. Internet: tech-support\@Math.AMS.org
  1466. \endexample
  1467. A Problem Report should contain the following information:
  1468. \roster
  1469. \item version of \filnam{AMSTEX.TEX} and of \filnam{AMSPPT.STY} with which
  1470.   the problem occurred;
  1471. \item a detailed description of the problem, including the input code for
  1472.   one or more examples that illustrate the problem;
  1473. \item a log file of a \TeX{} session showing the problem.
  1474. \endroster
  1475. \head References\endhead
  1476. \noindent\hangindent2pc Knuth, Donald E. {\it The \TeX{}book}. Reading:
  1477. Addison Wesley, 1986.
  1478. \noindent\hangindent2pc Spivak, Michael D. {\it The Joy of \TeX{}},
  1479. 2nd (revised) edition, \AMS{}, Providence, 1990.
  1480. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1481. \newpage
  1482. %  Arrange for the sample references to be set broadside, with the output
  1483. %  pasted up next to the corresponding input.  The section heading should
  1484. %  be full-width, and the running heads should be the normal page width.
  1485. %  To accomplish the latter, we must redefine plain's \makeheadline.
  1486. \begingroup % This will be ended after the broadside section
  1487. % To suppress an unimportant `overfull vbox' message (0.8 points):
  1488. \vfuzz=1pt
  1489. \newdimen\headlinewidth
  1490. \headlinewidth=\hsize
  1491. \def\makeheadline{\vbox to0pt{\vskip-22.5pt
  1492.   \hbox to\headlinewidth{\vbox to8.5pt{}\the\headline}\vss}\nointerlineskip}
  1493. \head Appendix A.\quad Sample Bibliography Input and Output
  1494. \endhead
  1495. \pageheight{30pc}
  1496. \pagewidth{23pc}
  1497. \beginexample{\exindent=0pt}
  1498. \\Refs
  1499. \\ref\\key 4 \% assuming \\refstyle\{C\} 
  1500. \\by V. I. Arnol\$'\$d, A. N. Varchenko,
  1501. \ and S. M. Guse\\u\\i n-Zade
  1502. \\book Singularities of differentiable maps.~\\rom I
  1503. \\publ ``Nauka'' \\publaddr Moscow \\yr 1982
  1504. \\lang Russian
  1505. \\endref
  1506. \\ref\\key 5\\bysame 
  1507. \\book Singularities of differentiable maps.~\\rom\{II\}
  1508. \\publ ``Nauka'' \\publaddr Moscow \\yr 1984
  1509. \\lang Russian
  1510. \\endref
  1511. \\ref\\key 6
  1512. \\by O. A. Ladyzhenskaya
  1513. \\book Mathematical problems in the dynamics
  1514. \ of a viscous incompressible fluid 
  1515. \\bookinfo 2nd rev. aug. ed.
  1516. \\publ ``Nauka'' \\publaddr Moscow \\yr 1970
  1517. \\lang Russian
  1518. \\transl English transl. of 1st ed.
  1519. \\book The mathematical theory of viscous
  1520. \ incompressible flow
  1521. \\publ Gordon and Breach \\publaddr New York
  1522. \\yr 1963; rev. 1969
  1523. \\endref
  1524. \endexample
  1525. \newpage
  1526. \beginexample{\exindent=0pt}
  1527. \\ref\\key 7
  1528. \\by P. D. Lax and C. D. Levermore
  1529. \\paper The small dispersion limit for the
  1530. \ KdV equation.~\\rom I
  1531. \\jour Comm. Pure Appl. Math. \\vol 36 \\yr 1983
  1532. \\pages 253--290 \\finalinfo (overview)
  1533. \\moreref\\paper \\rom\{II\}
  1534. \\jour Comm. Pure Appl. Math. 
  1535. \\vol 36 \\yr 1983 \\pages 571--594
  1536. \\moreref\\paper \\rom\{III\}
  1537. \\jour Comm. Pure Appl. Math. 
  1538. \\vol 36 \\yr 1983 \\pages 809--829 \\endref
  1539. \\ref\\key 10 \\by S. Osher
  1540. \\paper Shock capturing algorithms for equations of
  1541. \ mixed type
  1542. \\inbook Numerical Methods for Partial Differential
  1543. \ Equations \\eds S. I. Hariharan and T. H. Moulton
  1544. \\publ Longman \\publaddr New York \\yr 1986
  1545. \\pages 305--322
  1546. \\endref
  1547. \\ref\\key 17 \\by G. S. Petrov
  1548. \\paper Elliptic integrals and their nonoscillatory
  1549. \ behavior
  1550. \\jour Funktsional. Anal. i Prilozhen.
  1551. \\vol 20 \\yr 1986 \\pages 46--49
  1552. \\transl\\nofrills English transl. in
  1553. \\jour Functional Anal. Appl. \\vol 20\\yr 1986
  1554. \\endref
  1555. \endexample
  1556. \newpage
  1557. \beginexample{\exindent=0pt}
  1558. \% switch to a different references style
  1559. \\refstyle\{A\}
  1560. \\widestnumber\\key\{GHMR\}
  1561. \\ref\\key C1
  1562. \\by B. Coomes
  1563. \\book Polynomial flows, symmetry groups, and
  1564. \ conditions sufficient for injectivity of maps
  1565. \\bookinfo Ph.D. thesis, Univ. Nebraska--Lincoln
  1566. \\yr 1988
  1567. \\endref
  1568. \\ref\\key C2
  1569. \\bysame \% B. Coomes
  1570. \\paper The Lorenz system does not have a
  1571. \ polynomial flow
  1572. \\jour J. Differential Equations
  1573. \\toappear
  1574. \\endref
  1575. \\ref\\key GHMR
  1576. \\by J. Guckenheimer, P. Holmes, M. Martineau,
  1577. \ and L. P. Robinson
  1578. \\book Nonlinear oscillations, dynamical systems,
  1579. \ and bifurcations of vector fields
  1580. \\bookinfo \% fields can be left blank
  1581. \\publ Springer-Verlag \\publaddr New York
  1582. \\yr 1983
  1583. \\endRefs
  1584. \endexample
  1585. \newpage
  1586. \begingroup
  1587. \refstyle{C}
  1588. \aboveheadskip=\abovedisplayskip
  1589. \Refs
  1590. \ref\key 4 % assuming \refstyle{C}
  1591. \by V. I. Arnol$'$d, A. N. Varchenko, and S. M. Guse\u\i n-Zade
  1592. \book Singularities of differentiable maps.~{\rm I}
  1593. \publ ``Nauka'' \publaddr Moscow
  1594. \yr 1982
  1595. \lang Russian
  1596. \endref
  1597. \ref\key 5
  1598. \bysame 
  1599. \book Singularities of differentiable maps.~{\rm II}
  1600. \publ ``Nauka'' \publaddr Moscow
  1601. \yr 1984
  1602. \lang Russian
  1603. \endref
  1604. \ref\key 6
  1605. \by O. A. Ladyzhenskaya
  1606. \book Mathematical problems in the dynamics of a
  1607.  viscous incompressible fluid 
  1608. \bookinfo 2nd rev. aug. ed.
  1609. \publ ``Nauka'' \publaddr Moscow
  1610. \yr 1970
  1611. \lang Russian
  1612. \transl English transl. of 1st ed.
  1613. \book The mathematical theory of viscous
  1614. incompressible flow
  1615. \publ Gordon and Breach \publaddr New York
  1616. \yr 1963; rev. 1969
  1617. \endref
  1618. \bigskip
  1619. \ref\key 7
  1620. \by P. D. Lax and C. D. Levermore
  1621. \paper The small dispersion limit for the KdV equation.~{\rm I}
  1622. \jour Comm. Pure Appl. Math. 
  1623. \vol 36 \yr 1983 \pages 253--290
  1624. \finalinfo (overview)
  1625. \moreref\paper {\rm II}
  1626. \jour Comm. Pure Appl. Math. 
  1627. \vol 36 \yr 1983 \pages 571--594
  1628. \moreref\paper {\rm III}
  1629. \jour Comm. Pure Appl. Math. 
  1630. \vol 36 \yr 1983 \pages 809--829 \endref
  1631. \ref\key 10 \by S. Osher
  1632. \paper Shock capturing algorithms for equations of mixed type
  1633. \inbook Numerical Methods for Partial Differential Equations
  1634. \eds S. I. Hariharan and T. H. Moulton
  1635. \publ Longman \publaddr New York \yr 1986 \pages 305--322
  1636. \endref
  1637. \ref\key 17 \by G. S. Petrov
  1638. \paper Elliptic integrals and their nonoscillatory behavior
  1639. \jour Funktsional. Anal. i Pri\-lo\-zhen.
  1640. \vol 20 \yr 1986 \pages 46--49
  1641. \transl\nofrills English transl. in \jour Functional Anal. Appl.
  1642. \vol 20\yr 1986
  1643. \endref
  1644. \bigskip
  1645. % switch to a different references style
  1646. \refstyle{A}
  1647. \widestnumber\key{GHMR}
  1648. \ref\key C1
  1649. \by B. Coomes
  1650. \book Polynomial flows, symmetry groups, and conditions
  1651.  sufficient for injectivity of maps
  1652. \bookinfo Ph.D. thesis, Univ. Nebraska--Lincoln
  1653. \yr 1988
  1654. \endref
  1655. \ref\key C2
  1656. \bysame % B. Coomes
  1657. \paper The Lorenz system does not have a polynomial flow
  1658. \jour J. Differential Equations
  1659. \toappear
  1660. \endref
  1661. \ref\key GHMR
  1662. \by J. Guckenheimer, P. Holmes, M. Martineau, and L. P. Robinson
  1663. \book Nonlinear oscillations, dynamical systems, and
  1664.  bifurcations of vector fields
  1665. \bookinfo % fields can be left blank
  1666. \publ Springer-Verlag \publaddr New York
  1667. \yr 1983
  1668. \endref
  1669. \endRefs
  1670. \endgroup       % end special value of \aboveheadskip
  1671. \newpage
  1672. \endgroup % end broadside section
  1673. % Put the page number at the bottom of the page:
  1674. \csname firstpage\string @true\endcsname
  1675. % Turn off the "Typeset by AmSTeX" logo:
  1676. \expandafter\redefine\csname logo\string @\endcsname{}
  1677. % Reset the page number because the broadside pages in
  1678. % the previous section will become three pages instead of four.
  1679. % 18-JAN-1991 mjd
  1680. \advance\pageno by -1
  1681. %      The following file contains the installation instructions
  1682. \input amstinst.tex
  1683. \enddocument
  1684. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1685.