deletions | additions       diff --git a/header.tex b/header.tex  index ce030b3..31050e0 100644  --- a/header.tex  +++ b/header.tex 
...
\renewcommand{\P}{\mathcal{P}}  \newcommand{\Q}{\mathcal{Q}}  \newcommand{\tightlist}{}  \newtheorem{lem}{Lemma}  \newtheorem{claim}{Claim}  \newtheorem{cor}{Corrolary}  \newtheorem{defi}{Definition}