preamble.tex
changeset 187 4067c74547bb
parent 171 c461980f17ac
child 190 16efb5711c6f
equal deleted inserted replaced
186:748cd16881bf 187:4067c74547bb
    68 %\theoremstyle{definition}
    68 %\theoremstyle{definition}
    69 \newtheorem{defn}[prop]{Definition}         % numbered definition
    69 \newtheorem{defn}[prop]{Definition}         % numbered definition
    70 \newtheorem*{defn*}{Definition}             % unnumbered definition
    70 \newtheorem*{defn*}{Definition}             % unnumbered definition
    71 \newtheorem{question}{Question}
    71 \newtheorem{question}{Question}
    72 \newtheorem{property}{Property}
    72 \newtheorem{property}{Property}
       
    73 \newtheorem{axiom}{Axiom}
       
    74 \newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
    73 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
    75 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
    74 \numberwithin{equation}{section}
    76 \numberwithin{equation}{section}
    75 %\numberwithin{figure}{section}
    77 %\numberwithin{figure}{section}
    76 
    78 
    77 % Marginal notes in draft mode -----------------------------------
    79 % Marginal notes in draft mode -----------------------------------