% formatam.tex: AMSTeX formatting template file
% Version: June 10, 1992 

\input amstex
\documentstyle{amams} % input Annals of Mathematics macros.
\document

% Authors, please ignore this section.
%-------------- Publisher's entries --------------------

\annalsline{0}{1991}
\received{??}
\revised{??}
\startingpage{1}


% Authors: Please start here:
%--------------- Author macros ---------------

%(Optional)
% Please enter all author-written macros 
% used in the body of the paper here:
% i.e.,
% \def\CC{\rm C\!\!\!\!I\,}, etc.

%-------------- Author entries --------------------

\title{} %Article title
\shorttitle{} % Shortened version for headline title

% Acknowledgements: Please enter all acknowledgements here.
\acknowledgements{}

% Please uncomment and use appropriate command:
%\author{}
%\twoauthors{}{}
%\authors{}% Separate each author with a comma and a space.


% Institution:
%% If more than one institution represented, please separate
%% with \\ , i.e.,
%% \institutions{University of Illinois at Chicago, Chicago, IL\\
%% Cornell University, Ithaca, NY}

\institutions{}

%-------------- Article Text--------------------

%\intro %(Optional, Introduction)



\references
\endreferences

\bye


Possible commands:
For further explanation, please see documentation.

\articlecontents % Only to be used for very long articles

Sample:
\articlecontents
Introduction

\item{1.1}The singular locus of a generic projection of rational
quadruple points

\item{1.2}Weakly normal surfaces with singular locus of multiplicity
three and type two

References
\endcontents



\intro % Unnumbered introductory section


\section{} % You may use \\ to start a new line, i.e.,
          \section{Flat structures on the torus minus a disk and\\
          the sphere minus a disk}

%% Math commands:

\eqnu % to produce numbered equation
    $$math...\eqnu$$, to produce:   (1.2) math....


\speqnu{B.1'} % Will make argument appear as equation number 
                with parenthesis:
$$math\speqnu{B.1'}$$
will produce: (B.1') ..... math....


\Xspeqnu{\ast} % to produce special equation number, such as asterisk,
          without parenthesis
    $$math...\speqnuX{\ast}$$ produces:      *  math....
    $$math...\speqnuX{\ast\ast}$$ produces: **  math....


\eqletter{<letter>}
To make lettered equation numbers:
$$ math \eqletter{A}$$
$$ math \eqletter{B}$$
$$ math \eqnu$$
produces:
(2.1A)   math...
(2.1B)   math...
(2.2)   math...


\splitmath, to split equation into two lines
$$ABC\splitmath DEF$$
produces,
ABC
                           DEF



\inmathqed,  To enter a proof box in equation that occurs
            at end of proof.
$$ math...\inmathqed$$

%% \mtable, Math table to make binary table easily

  1  2  3  4  5... 
a |--------------------
b |
c |


%% Use:
% \mtable
% &n_1&n_2&n_3&n_4&n_5&n_6\cr
% \Delta_1&M_3&M_2&0&0&0&0\cr
% \Delta_2&0&0&M_1&M_3&0&0\cr
% \endmtable

%% Array, similar to matrix, but will work in math or in text,
   and user can specify the orientation of each column.

%% Either in math or in text, will be in math mode inside array. 
%% For each column desired supply
%% r, l, or c, for right, left, or center orientation of that column.
%% End each line with \\.

%% To use: 
%  \array ccc*
%  x_s&\leq& a_1\\
%  a_s<&x_s^s&<b_s\\
%  x_s&\geq& a_1\\
% \rm and\ more&\rm similar&\rm expressions
%  \endarray


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Theorem type environments

\proclaim{}
\endproclaim
%% Use \proclaim{}...\endproclaim for 
Theorem
Corollary
Lemma
Lemma/Definition
Proposition
Claim


\proclaim{Theorem}
\endproclaim
Will yield        Theorem 2.1. ..... etc.

\nonumproclaim{}
\endproclaim
Will yield name without number:      Main Theorem  ..... etc.
i.e., 
\nonumproclaim{Raghunathan's measure conjecture}
Every unipotent subgroup of an connect Lie group {\bf G} is measure rigid.
\endproclaim



\proclaimtitle{<title>} Used before \proclaim{} to produce
                        a title after theorem number.
\proclaimtitle{Main Theorem}
\proclaim{Theorem}...
\endproclaim
produces
Theorem 2.3 (Main Theorem) .....


%% Proof type environment
\demo{}
\enddemo


%% Use \demo{}...\enddemo for
Proof
Proof of ...
Definition
Remark
Example
Case
Subcase
Note
Convention
Notation
Construction
Question
Etc...

\addletter{<letter>} will add letter after any Theorem, Corollary or
any other name used with \proclaim{}

\addletter{A}
\proclaim{Corollary}
....
\endproclaim

\addletter{B}
\proclaim{Corollary}
....
\endproclaim

\proclaim{Corollary}
....
\endproclaim

Corollary 1A ...
Corollary 1B ...
Corollary 2 ...

\nonumproclaim{}
\endproclaim{}

%%%%%%%%
Lists
\listitem{}

\listitem{i}This is the first thing to mention...
\listitem{ii}This is the second thing to mention...
produces:
 (i) This is the first thing to mention...
(ii) This is the second thing to mention...

%% To use with asterisks, will not have parenthesis:
\asteritem{}

\asteritem{*}This is the first thing to mention...
\asteritem{**}This is the second thing to mention...
produces:
 * This is the first thing to mention...
** This is the second thing to mention...

%%%%%%%%
Figures:
\fig{1}{2in} % #1= figure number, #2= space to be left for figure

%%%%%%%%
\appendix{A}{The first appendix}
\appendix{B}{The second appendix}

Use one of these forms if you have only one appendix.
\appendix{}{} % 
\appendix{}{Title...} 

%%%%%%%%%%%%%
Cross-referencing
Make labels like this:
\label\<label name of your choosing>\<counter>*
The available  counters  are: \sectnum,  \theoremnum, and  \eqnum.
See documentation if you need more information.

For example:
\label\mylabelname\sectnum*

Reference the label like this:
\ref\mylabelname

%%%%%%%%%%%%%
References. 
When the references are printed each paragraph will be
preceded with a number in square brackets.

Precede every reference item with a label that can be used for
cross-referencing. The label must be composed entirely of letters.
It is referenced the same  as other  cross-references:

This is the first bibliography reference, \ref\amickandmcleod.

Notice that author names must be preceded with \name and
surrounded with curley brackets.

%%%%%
% Sample references section.

\references
amickandmcleod
\ref \no 1 \by \name{C. J. Amick} and \name{J. B. McLeod}, to appear
\endref

amickandtoland
\ref \no 2 \by \name{C. J. Amick} and \name{J. F. Toland} \pages 9-96
\paper On solitary water-waves of finite amplitude
\yr 1981 \vol 76 \jour Arch. Rational Mech. Anal. \endref

amickandkirch
\ref \no 3 \by \name{C. J. Amick} and  \name{K. Kirchg\"assner}
\paper Solitary water-waves in the presence of surface tension, {\rm in}
Dynamical
Problems in Continuum Physics
\paperinfo I.M.A. Volumes in Mathematics and Its Applications {\bf 4},
Springer--Verlag
\yr 1986 \endref

beale
\ref \no 5 \by \name{J. T. Beale} \pages 373-389
\paper The existence of solitary water waves \yr 1977 \vol 30
\jour Comm. Pure Appl. Math. \endref

bealetwo
\ref \no 6 \by \name{J. T. Beale} \pages 230-263
\paper The existence of cnoidal water waves with surface tension
\yr 1979 \vol 31 \jour J. Diff. Eqns. \endref
\endreferences

%%%%%
An alternative method of entering reference labels in the case
the author wants to use label names it to precede the \references
command with \AuthorRefNames followed by square
brackets surrounding the widest reference label, i.e.,

\AuthorRefNames [NRSW] 
\references

Each reference should then be preceded by the symbolic label
surrounded by square brackets, i.e., 

[A]
\name{E. Amar},
Cohomologie Complexe et Applications, J.
London Math. Soc., {\bf 29},  127-140, 1984.

When the labels are referred to in the body of text the command
\cite may be used, i.e., \cite{A}. If you want to cite two lables
at the same time, that may be done: i.e., if there is a label [Mc1]
and [Mc2], you may reference both of them using \cite{Mc1, 2}.

This method of making the reference section should also end with
\endreferences.

