Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /papers/modulespaper/design/aux/math-envs.sty
ViewVC logotype

View of /papers/modulespaper/design/aux/math-envs.sty

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (as text) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 1189 byte(s)
initial import
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{math-envs}
\RequirePackage{theorem,amssymb}

\theoremstyle{break}

% environments
\newtheorem{thm}{Theorem}
\newtheorem{theorem}[thm]{Theorem}
\newtheorem{lem}{Lemma}
\newtheorem{lemma}[lem]{Lemma}
\newtheorem{cor}{Corollary}
\newtheorem{corollary}[cor]{Corollary}
\newtheorem{claim}[thm]{Claim}
\newtheorem{property}[thm]{Property}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{proposition}[thm]{Proposition}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{conjecture}[thm]{Conjecture}
\newtheorem{defin}{Definition}
\newtheorem{defn}[defin]{Definition}
\newtheorem{definition}[defin]{Definition}
\newtheorem{exercise}[thm]{Exercise}
\newtheorem{examp}{Example}
\newtheorem{example}[examp]{Example}
{\theorembodyfont{\normalfont}\newtheorem{remark}[thm]{Remark}}
\newtheorem{notation}[thm]{Notation}
\newtheorem{counterexample}[thm]{Counterexample}
\newtheorem{ctx}[thm]{Counterexample}

\newcommand{\qed}{\quad\ensuremath{\blacksquare}\parfillskip 0pt\linebreak}

\newenvironment{proof}{\noindent{\bf Proof:}\hspace*{0.5em}}{\hspace*{\fill}\qed}
\newenvironment{proofsketch}{\noindent{\bf Proof (sketch):}\hspace*{0.5em}}{\hspace*{\fill}\qed}


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0