common.sty

\usepackage[margin=1in]{geometry}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{enumitem}
\usepackage{mathabx}
\usepackage{mathtools}
\usepackage{multirow}
\usepackage{tabularx}
\usepackage{url}

\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}

\newcommand{\dom}{\mathop{\mathrm{dom}}}
\newcommand{\ran}{\mathop{\mathrm{ran}}}
\newcommand{\type}{\mathop{\mathrm{type}}}
\newcommand{\trcl}{\mathop{\mathrm{trcl}}}
\newcommand{\pred}{\mathop{\mathrm{pred}}}
\newcommand{\rank}{\mathop{\mathrm{rank}}}
\newcommand{\mos}{\mathop{\mathrm{mos}}}
\newcommand{\val}{\mathop{\mathrm{val}}}
\newcommand{\cf}{\mathop{\mathrm{cf}}}

\theoremstyle{definition}
\newtheorem{innercustomthm}{Exercise}
\newenvironment{customthm}[1]
  {\renewcommand\theinnercustomthm{#1}\innercustomthm}
  {\endinnercustomthm}

\author{Yoshihiro Kumazawa}