preamble.tex
changeset 310 ee7be19ee61a
parent 290 9bb7d314c694
child 323 6cc92b273d44
equal deleted inserted replaced
309:386d2d12f95b 310:ee7be19ee61a
    75 \newtheorem{example}[prop]{Example}
    75 \newtheorem{example}[prop]{Example}
    76 %\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
    76 %\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
    77 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
    77 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
    78 \numberwithin{equation}{section}
    78 \numberwithin{equation}{section}
    79 %\numberwithin{figure}{section}
    79 %\numberwithin{figure}{section}
       
    80 %\newtheorem{nonaxiom}{Not-An-Axiom}
    80 
    81 
    81 % Marginal notes in draft mode -----------------------------------
    82 % Marginal notes in draft mode -----------------------------------
    82 \newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue}  $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n}  #1 --S}}     % draft mode
    83 \newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue}  $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n}  #1 --S}}     % draft mode
    83 \newcommand{\kevin}[1]{\stepcounter{comment}{\color[rgb]{.2,.5,.6} $\star^{(\arabic{comment})}$}\marginpar{\color{green}  $\star^{(\arabic{comment})}$  #1 --K}}     % draft mode
    84 \newcommand{\kevin}[1]{\stepcounter{comment}{\color[rgb]{.2,.5,.6} $\star^{(\arabic{comment})}$}\marginpar{\color{green}  $\star^{(\arabic{comment})}$  #1 --K}}     % draft mode
    84 \newcommand{\comment}[1]{\stepcounter{comment}$\star^{(\arabic{comment})}$\marginpar{\tiny $\star^{(\arabic{comment})}$ #1}}     % draft mode
    85 \newcommand{\comment}[1]{\stepcounter{comment}$\star^{(\arabic{comment})}$\marginpar{\tiny $\star^{(\arabic{comment})}$ #1}}     % draft mode