61 \newtheorem{property}{Property}

    61 \newtheorem{property}{Property}

    62 \newtheorem{axiom}{Axiom}

    62 \newtheorem{axiom}{Axiom}

    63 \newtheorem{module-axiom}{Module Axiom}

    63 \newtheorem{module-axiom}{Module Axiom}

    64 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?

    64 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?

    65 \newtheorem{rem*}[prop]{Remark}

    65 \newtheorem{rem*}[prop]{Remark}

    66 \numberwithin{equation}{section}

    67 \numberwithin{equation}{section}

    67 %% example is defined in article_preamble.tex, for compatibility with beamer.

    68 %% example is defined in article_preamble.tex, for compatibility with beamer.

    68 

    69 

    69 

    70 

    70 % Marginal notes in draft mode -----------------------------------

    71 % Marginal notes in draft mode -----------------------------------

   118 \savebox{\selfarrowcontents}{\selfarrow}

   119 \savebox{\selfarrowcontents}{\selfarrow}

   119 \renewcommand{\selfarrow}{\usebox{\selfarrowcontents}}

   120 \renewcommand{\selfarrow}{\usebox{\selfarrowcontents}}

   120 

   121 

   121 

   122 

   122 \def\bc{{\mathcal B}}

   123 \def\bc{{\mathcal B}}

   123 

   125 

   124 \newcommand{\into}{\hookrightarrow}

   126 \newcommand{\into}{\hookrightarrow}

   125 \newcommand{\onto}{\twoheadrightarrow}

   127 \newcommand{\onto}{\twoheadrightarrow}

   126 \newcommand{\iso}{\cong}

   128 \newcommand{\iso}{\cong}

   127 \newcommand{\quism}{\underset{\text{q.i.}}{\simeq}}

   129 \newcommand{\quism}{\underset{\text{q.i.}}{\simeq}}