\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{math-envs}
\RequirePackage{theorem,amssymb}

\theoremstyle{break}

% environments
\newtheorem{thm}{Theorem}
\newtheorem{theorem}[thm]{Theorem}
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{corollary}[thm]{Corollary}
\newtheorem{claim}[thm]{Claim}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{proposition}[thm]{Proposition}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{conjecture}[thm]{Conjecture}
\newtheorem{defn}[thm]{Definition}
\newtheorem{definition}[thm]{Definition}
\newtheorem{exercise}[thm]{Exercise}
\newtheorem{example}[thm]{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}

