\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{ifthen}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\st}{\mbox{ s.t. }}

\newcommand{\definition}[1]{\mthing{definition}{Defn}{#1}}
\newcommand{\theorem}[1]{\mthing{plain}{Thm}{#1}}
\newcommand{\corollary}[1]{\mthing{plain}{Cor}{#1}}
\newcommand{\lemma}[1]{\mthing{plain}{Lemma}{#1}}

\newcommand{\example}[1]{\mthing{remark}{Ex}{#1}}
\newcommand{\claim}[1]{\mthing{remark}{Claim}{#1}}

\newcounter{thmnum}

\newcommand{\mthing}[3]{

        \theoremstyle{#1}

        \newtheorem*{thm\thethmnum}{#2}
        \begin{thm\thethmnum}
        #3
        \end{thm\thethmnum}
        \addtocounter{thmnum}{1}
        }
\newcommand{\dt}[1]{\underline{#1}}
\newcommand{\implies}{\rightarrow}
\newcommand{\union}{\bigcup}
\newcommand{\isect}{\bigcap}
\renewcommand{\Re}{\mbox{Re}}
\renewcommand{\Im}{\mbox{Im}}
\newcommand{\conj}[1]{\overline{#1}}
\renewcommand{\v}[1]{\vec{#1}}
\newcommand{\vz}{\v z}
\newcommand{\vw}{\v w}
\newcommand{\alphlist}[1]{
  \renewcommand{\labelenumi}{\alph{enumi})}
  \begin{enumerate}
  #1
  \end{enumerate}
}
\newcommand{\clos}[1]{\overline{#1}}
\newcommand{\comp}[1]{#1^C}
% \parskip=1cm