\documentclass[12pt]{article}
\usepackage{fullpage,amsthm, amsfonts, amsmath, stmaryrd}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{prop}[theorem]{Proposition}
\newtheorem{cor}[theorem]{Corollary}
\newtheorem{question}[theorem]{Question}

\newcommand{\CC}{\mathbb{C}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\ZZ}{\mathbb{Z}}

\newcommand{\calE}{\mathcal{E}}
\newcommand{\calR}{\mathcal{R}}

\newcommand{\gothm}{\mathfrak{m}}
\newcommand{\gotho}{\mathfrak{o}}

\newcommand{\et}{\mathrm{et}}

\newcommand{\bv}{\mathbf{v}}

\newcommand{\dual}{\vee}

\newcommand{\unittitle}[1]{\begin{center} \textbf{$p$-adic differential equations \\ 18.787, Kiran S. Kedlaya, MIT, fall 2007 \\ #1}\end{center}}

\newcommand{\notes}{\section{Notes}}
\newcommand{\exercises}{\section{Exercises}}

\DeclareMathOperator{\alg}{alg}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Diag}{Diag}
\DeclareMathOperator{\disc}{disc}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\Frac}{Frac}
\DeclareMathOperator{\Gal}{Gal}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\inte}{inte}
\DeclareMathOperator{\irr}{irr}
\DeclareMathOperator{\NP}{NP}
\DeclareMathOperator{\opp}{opp}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\Res}{Res}
\DeclareMathOperator{\sep}{sep}
\DeclareMathOperator{\spect}{sp}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\Trace}{Trace}
\DeclareMathOperator{\triv}{triv}
\DeclareMathOperator{\tspect}{tsp}
\DeclareMathOperator{\type}{type}
\DeclareMathOperator{\unr}{unr}

\begin{document}