\ProvidesPackage{dimadefs}
\RequirePackage{amsmath,amssymb,amsthm}
\newcommand{\isdef}{\ensuremath{\stackrel{\text{def}}{=}}}
\newcommand{\expln}[1]{_{(#1)}}
\newcommand{\explntext}[1]{\expln{\textit{#1}}}
\newcommand{\so}{\ensuremath{\Rightarrow&}}

\newcommand{\naturals}{\ensuremath{\mathbb{N}}}
\newcommand{\integers}{\ensuremath{\mathbb{Z}}}
\newcommand{\rationals}{\ensuremath{\mathbb{Q}}}
\newcommand{\reals}{\ensuremath{\mathbb{R}}}
\newcommand{\complexfield}{\ensuremath{\mathbb{C}}}
\newcommand{\der}[2]{#1^{(#2)}}

\newcommand{\causes}{\ensuremath{\Longrightarrow}}
\def\noqed{\renewcommand{\qedsymbol}{}}
\newcommand{\f}[1]{\mbox{$#1$}}

\DeclareMathOperator{\dd}{d}
\DeclareMathOperator{\ee}{e}