\documentclass{emsprocart}

 
%%%%%%%%%%%%%%%%
%%%%%%%%%% Use this for your addresse(s)
%%%%%%%%%% they will appear at the end of your article
%%%%%%%%%% use one \contact[]{} for each author

\contact[e-mail address]{Author's name, Department, University, PO Box or Street, City, Country}

%\contact[e-mail address]{2. Author(s)'s address}
%\contact[e-mail address]{3. Author(s)'s address}

%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Commands and environments
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%\numberwithin{equation}{section}


\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}

\newtheorem*{coro}{Corollary} %%%% for unnumbered statements


\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}




\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Ker}{\operatorname{Ker}}



\title[Title of Paper]{Title of Paper}

\author[The author(s)'s name(s)]{The author(s)'s name(s)\thanks{The authors are grateful to
the Max Planck Institute (Bonn) for hospitality during the writing of
this paper.}}

\begin{document}



\begin{abstract}
This is to explain how to prepare a contribution for
publication in an edited volume
for the EMS Publishing House.
\end{abstract}


\begin{classification}
Primary 11-XX; Secondary 14-XX.
\end{classification}

\begin{keywords}
Drinfeld modules, $L$-functions, Weil conjecture.
\end{keywords}


\maketitle



\section{Introduction}


Authors are requested to use  standard \LaTeX\ and the class file
\begin{verbatim}
emsprocart.cls
\end{verbatim}
This file is essentially `article.cls', slightly changed, loading amsmath,
amsfonts, amssymb, latexsym, and with amsthm.sty included. It sets the page size to
\begin{verbatim}
\textheight=548pt
\textwidth=357pt
\end{verbatim}
The \TeX\ source file should begin
with
\begin{verbatim}
\documentclass{emsprocart}
\end{verbatim}
Enter the name(s) of the author(s) using the tag
\begin{verbatim}
\contact[e-mail address]{Author's address}
\end{verbatim}
Each author's name should be entered with a separate \verb+\+{\tt contact} command.
No personal style files should be used. Each paper should contain the 2000 Mathematics
Subject Classification. Please DO NOT use one-letter
lower case newly defined commands like
\begin{verbatim}
\newcommand{\e}{\varepsilon}
\end{verbatim}
since this can interfere with the other packages we are using. Moreover, we ask you to include in the preliminary part
of your document only those non-standard macros that are really used.


\section{Some rules}

In order to achieve a uniform appearance of all the contributions, we encourage
you to to observe the following rules when preparing your article.


\subsection{Displayed formulas} If you have displayed formulas consisting of more than one line
we recommend to you use
\begin{verbatim}\begin{align}...\end{align}\end{verbatim}
 instead of
\begin{verbatim}\begin{eqnarray}...\end{eqnarray}\end{verbatim}
(respectively the  starred forms) since the former yields a better spacing. Compare:
\begin{align}
A&=  f(x_i)= F'(x),
\\
B&=  g(x_i)= G'(x).
\end{align}
\begin{eqnarray}
A&=& f(x_i)= F'(x),
\\
B&=& g(x_i)= G'(x).
\end{eqnarray}
In case you do not want the numbering for every line, type
\begin{verbatim}\nonumber\end{verbatim}
at the end of the line where you do not want a number.
\begin{align}
A&=  f(x_i)= F'(x),\nonumber
\\
B&=  g(x_i)= G'(x).
\end{align}
If you want a number for the complete block, this works:
\begin{verbatim}
\begin{equation}\begin{split}...\end{split}\end{equation}
\end{verbatim}
\begin{equation}
\begin{split}
A&=  f(x_i)= F'(x),
\\
B&=  g(x_i)= G'(x).
\end{split}
\end{equation}
If you prefer to number equations in the form (2.1), (2.2),\dots, add the line
\begin{verbatim}
\numberwithin{equation}{section}
\end{verbatim}
to the preamble of your document.


\subsection{Theorems and alike}

For theorems, lemmas, definitions, etc.\ use the standard syntax.

\begin{verbatim}
\begin{theorem}...\end{theorem}
\end{verbatim}

Put optional arguments into square brackets (``Main Theorem, [5]'' in the example below).

\begin{theorem}[Main Theorem, \cite{Sch}]
If a knot $K$ has Seifert form $V_K$ and its
Alexander polynomial is not $1$, then there is an infinite family
$\{K_i\}$ of non-concordant knots such that each $K_i$ has Seifert
form $V_K$.
\end{theorem}

\begin{definition}
A \emph{preference order}  (or \emph{preference relation}) on $\mathcal X$ is a binary
relation $\succ$ with the following two properties.
\begin{enumerate}

\item \emph{Asymmetry:} If $x\succ y$, then $y\not\succ x$.

\item \emph{Negative transitivity}: If $x\succ y$ and $z\in{\mathcal X}$, then
          either $x\succ z$ or $z\succ y$ or both must hold.

\end{enumerate}
\end{definition}

In this example file,   enumerations of theorems,
lemmas definitions, etc.\ appear consecutively.
If you want separate numbering (Theorem 2.1, Definition 2.1) change e.g.\
\begin{verbatim}
\newtheorem[theorem]{definition}
\end{verbatim}
to
\begin{verbatim}
\newtheorem{definition}{Definition}[section]
\end{verbatim}

If you want a statement unnumbered, just define
\begin{verbatim}
\newtheorem*{coro}{Corollary}
\end{verbatim}
to obtain

\begin{coro}
If all the coefficients of {\rm(A.2)} are entire
functions, then all local solutions of {\rm(A.2)} admit a
meromorphic continuation over the whole complex plane~$\mathbb{C}$.
\end{coro}

For a proof, use

\begin{verbatim}
\begin{proof}...\end{proof}
\end{verbatim}

An end-of-proof sign $\Box$ is set automatically.

\begin{proof}
This finishes the proof of the corollary.
\end{proof}


\subsection{Operator names}

There are several \TeX-commands setting things automatically upright like $\det$, $\sin$,\dots\,.
If you need operators not predefined, simply define e.g.
\begin{verbatim}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Ker}{\operatorname{Ker}}
\end{verbatim}
and then use
\begin{verbatim}
\Hom, \Ker
\end{verbatim}
to obtain
$$
\varphi \in \Hom(G/H) \Longrightarrow \Ker(\varphi) \not= \{0\}.
$$
It is accepted typographical standard that abbreviated mathematical expressions standing for ``words''
appear in roman (upright) typeface.

\section{References}

It follows a list of references showing you the style in which
books and journal articles should be listed.

\renewcommand{\refname}{}    %%%% for this example
\vspace*{-36pt}              %%%% file only!


\frenchspacing
\begin{thebibliography}{7}

\bibitem{And}
M. T. Anderson,  Geometric aspects of the AdS/CFT
correspondence. In \textit{AdS/CFT Correspondence: Einstein metrics
and their conformal boundaries} (ed. by Olivier Biquard), IRMA Lect.
Math. Theor. Phys. 8, European Math. Soc. Publishing House, Z\"urich
2005, 1--31.

\bibitem{BaRh}
I. Babu{\v{s}}ka  and  W. C. Rheinboldt,
Error estimates for adaptive finite element computations.
\textit{SIAM J. Numer. Anal.}  \textbf{15} (1978), 736--754.

\bibitem{FrQu}
 M. H. Freedman and F.  Quinn,
 \textit{Topology of 4-manifolds}.
Princeton Math. Ser.~39, Princeton University Press,
Princeton, NJ, 1990.

\bibitem{Ma}
A. I. Mal'cev, On homomorphisms onto finite groups.
\emph{Ivanov. Gos. Ped. Inst. Ucen. Zap.} \textbf{18} (1958), 49--60.

\bibitem{Sch}
M. Schweizer, Hedging of options in a general
semimartingale model. Diss. ETH Z\"urich No. 8615, Z\"urich 1988.

\bibitem{Vig}
M. F. Vigneras,
Induced representations of reductive $p$-adic groups
in characteristic $\ell \neq p$.
\textit{Selecta Math.} (N.S) \textbf{4} (1998), 549--623.

\end{thebibliography}


 

\end{document}
