aiml20macro.sty

% Page dimensions required by College Publications:
% - Our critical specifications are that the text must not exceed 200mm high 
%   (including headers/footers) and it must not exceed 120mm in width.
% - The resulting textblock MUST be centered on an A4 page.  The pdf you 
%   deliver should have all fonts properly embedded.

\usepackage[bindingoffset=0cm,a4paper,hcentering,top=48.5mm,totalheight=205mm,textwidth=120mm,includehead,includefoot]{geometry} 
\headsep 25pt

\sloppy

\def\labelenumi{\rm\normalshape (\theenumi)}
\def\labelenumii{\rm\normalshape (\theenumii)}

\font\eightrm=cmr8  

\newif\ifshttl

\def\date{\ifcase\month\or January\or February \or March\or April\or May
\or June\or July\or August\or September\or October\or November
\or December\fi\space\number\day, \number\year}

\def\rightheadline{\ifnum\value{page}=\hypergetpageref{FirstPage}\firstheadline
      \else\hfill\eightrm \lastname\hfill\thepage\fi}
\def\leftheadline{\ifnum\value{page}=\hypergetpageref{FirstPage}\firstheadline
      \else\eightrm \thepage\quad\hfill\ifshttl\shtitle\else\@title\fi\hfill\fi}

\def\firstheadline{}
\def\firstfootline{\vbox{\baselineskip=10pt \parindent 0pt \obeylines
}}

\pagestyle{headings}

\newcommand{\Appendix}{\appendix\section*{Appendix}}



% THE NEXT LINES GIVE DEFINITIONS FOR THE THEOREM ENVIRONMENTS.
% EACH IS VIEWED AS A theorem environment IN THE SENSE OF LaTeX.
% THEIR NAMES ARE: Theorem, Proposition, Lemma, Corollary, 
% Criterion, Definition, Conjecture, Example, Problem, Remark,
% Summary, and Acknowledgement.  ALSO INCLUDED WITHIN ARE THE
% ENVIRONMENTS Note, Claim and Case UNDER THEIR OWN NAMES, AND THE
% ENVIRONMENT Algorithm UNDER THE NAME alg; FOR THIS USE
% \begin{alg} text \end{alg}.
% TYPE \begin{name} text \end{name} AS USUAL FOR ENVIRONMENTS IN LaTeX.
% THE ENVIRONMENT name IS NUMBERED WITHIN section. E.G. THE FIRST 'Name'
% IN SECTION 1 IS NUMBERED 'Name 1.1'

\newcommand{\thmvspace}{.4pc plus .2pc minus .1pc}

\newenvironment{theorem}{\vspace{-\lastskip}\par\addvspace{\thmvspace}\begin{thm}}{\end{thm}\par\addvspace{\thmvspace}} 
\newenvironment{lemma}{\vspace{-\lastskip}\par\addvspace{\thmvspace}\begin{lem}}{\end{lem}\par\addvspace{\thmvspace}}
\newenvironment{corollary}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{cor}}{\end{cor}\par\addvspace{\thmvspace}}
\newenvironment{proposition}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{prop}}{\end{prop}\par\addvspace{\thmvspace}}
\newenvironment{criterion}{\vspace{-\lastskip}\par \addvspace{\thmvspace} \begin{crit}}{\end{crit}\par\addvspace{\thmvspace}}
\newenvironment{definition}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{defn}\rm}{\end{defn}\par\addvspace{\thmvspace}}
\newenvironment{conjecture}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{conj}}{\end{conj}\par\addvspace{\thmvspace}}
\newenvironment{example}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{exmp}\rm}{\end{exmp}\par\addvspace{\thmvspace}}
\newenvironment{problem}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{prob}}{\end{prob}\par\addvspace{\thmvspace}} \newenvironment{remark}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{rem}\rm}{\end{rem}\par\addvspace{\thmvspace}}
\newenvironment{summary}{\vspace{-\lastskip}\par \addvspace{\thmvspace}\begin{summ}}{\end{summ}\par\addvspace{\thmvspace}}
\newenvironment{acknowledgement}{\vspace{-\lastskip}\par\addvspace{\thmvspace}\begin{ack}}{\end{ack}\par\addvspace{\thmvspace}}

\newenvironment{exercise}{\begin{trivlist}\item[\hskip%
    \labelsep{\bf Exercise.}]}%
    {\end{trivlist}}
    
    
%% THE ENVIRONMENT \begin{proof} ... \end{proof} PRODUCES AN
%% END-OF-PROOF SIGN.

\newenvironment{proof}{\begin{pf}}{\qed\end{pf}}

%% THE ENVIRONMENT \begin{proof*} ... \end{proof*} SUPPORTS ADDING
%% INFORMATION SUCH AS  'Proof (Sketch)' AS THE LABEL FOR THE PROOF.

\newenvironment{proof*}{\begin{pf*}}{\qed\end{pf*}}