%       Some definitions useful in producing this sort of
%       documentation:

\chardef\bslash=`\\ % p. 424, TeXbook
% Normalized (nonbold, nonitalic) \tt font, to avoid font substitution
% warning messages if \tt is used inside section headings and other
% places where odd font combinations might result.
\newcommand{\ntt}{\series m\shape n\tt}
% control sequence
\newcommand{\cs}[1]{{\protect\ntt\bslash#1}}
% LaTeX option name
\newcommand{\opt}[1]{{\protect\ntt#1}}
% environment name
\newcommand{\env}[1]{{\protect\ntt#1}}
% Indent a little on the left in the verbatim environment.
\makeatletter
\def\verbatim{\interlinepenalty\@M \@verbatim
  \leftskip\@totalleftmargin\advance\leftskip2pc
  \frenchspacing\@vobeyspaces \@xverbatim}
\makeatother
\hfuzz1pc % Don't bother to report overfull boxes if overage is < 1pc
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% Frequently used math symbols.
%%%
\input{amsmath_sym}

%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% The Theorem environments:
%%%
%%%
%%% The following commands set it up so that:
%%%
%%% All Theorems, Corollaries, Lemmas, Propositions, Definitions,
%%% Remarks, and Examples will be numbered in a single sequence, and
%%% the numbering will be within each section.
%%%
%%% Anything called `bigthm' in the TeXfile will be printed as
%%% Theorem, but will be numbered in a separate sequence, named
%%% Theorem A, Theorem B, Theorem C, etc.
%%%
%%%
%%% Notations and Terminologies will not be numbered.
%%%
%%% Theorems, Propositions, Lemmas, and Corollaries will have the most
%%% formal typesetting.
%%%
%%% Definitions will have the next level of formality.
%%%
%%% Remarks, Examples, Notations, and Terminologies will be the least
%%% formal.
%%%
%%% Theorem:
%%% \begin{thm}
%%%
%%% \end{thm}
%%%
%%% Theorem: (Numbered separately, as Theorem A, etc.)
%%% \begin{bigthm}
%%%
%%% \end{bigthm}
%%%
%%% Corollary:
%%% \begin{cor}
%%%
%%% \end{cor}
%%%
%%% Lemma:
%%% \begin{lem}
%%%
%%% \end{lem}
%%%
%%% Proposition:
%%% \begin{prop}
%%%
%%% \end{prop}
%%%
%%% Definition:
%%% \begin{defn}
%%%
%%% \end{defn}
%%%
%%% Remark:
%%% \begin{rem}
%%%
%%% \end{rem}
%%%
%%% Example:
%%% \begin{ex}
%%%
%%% \end{ex}
%%%
%%% Notation:
%%% \begin{notation}
%%%
%%% \end{notation}
%%%
%%% Terminology:
%%% \begin{terminology}
%%%
%%% \end{terminology}
%%%
%%%       Theorem environments

\theoremstyle{plain}   %% This is the default, anyway
\newtheorem{bigthm}{Theorem}   % Numbered separately, as A, B, etc.
\newtheorem{thm}{Theorem}[section]   % Numbered within each section
\newtheorem{cor}[thm]{Corollary}     % Numbered along with thm
\newtheorem{lem}[thm]{Lemma}         % Numbered along with thm
\newtheorem{prop}[thm]{Proposition}  % Numbered along with thm
\newtheorem{alg}[thm]{Algorithm}     % Numbered along with thm
\newtheorem{conj}[thm]{Conjecture}	% Numbered along with thm

%%% We need to do the following outside of any group,
%%% since it's not \global:
\renewcommand{\thebigthm}{\Alph{bigthm}}  % Number as "Theorem A."


\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}   % Numbered along with thm
\newtheorem{rem}[thm]{Remark}        % Numbered along with thm
\newtheorem{ex}[thm]{Example}        % Numbered along with thm
\newtheorem*{notation}{Notation}
\newtheorem*{terminology}{Terminology}

%%%-------------------------------------------------------------------
%%% The following causes equations to be numbered within sections:
%\numberwithin{equation}{section}

%%%-------------------------------------------------------------------
%      \interval is used to provide better spacing after a [ that
%      is used as a closing delimiter.
\newcommand{\interval}[1]{\mathinner{#1}}

