|
|
|
Viewing Preamble for
McAlister covering theorem |
|
[
back to 'McAlister covering theorem'
]
|
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
\newtheorem*{defn}{Definition}
\newtheorem*{thm}{Theorem}
\newtheorem*{cor}{Corollary}
\newtheorem*{lemma}{Lemma}
\newtheorem*{conj}{Conjecture}
\newtheorem*{prop}{Proposition}
\newtheorem*{open}{Open Question}
\newtheorem*{cond}{Condition}
\newenvironment{skproof}{\noindent\emph{Sketch Proof.}}{\qed\\}
\newtheorem*{rem}{Remark}
\newcommand{\Z}{\ensuremath{\mathbb{Z}}}
\newcommand{\N}{\ensuremath{\mathbb{N}}}
\newcommand{\Q}{\ensuremath{\mathbb{Q}}}
\newcommand{\R}{\ensuremath{\mathbb{R}}}
\newcommand{\eq}{\ensuremath{\thicksim}}
\newcommand{\iso}{\cong}
\newcommand{\normal}{\lhd}
\newcommand{\Aut}[1]{{\ensuremath{\mathrm{Aut}({#1})}}}
\newcommand{\GL}[2]{{\ensuremath{\mathrm{GL}({#1},{#2})}}}
\newcommand{\pad}{\ensuremath{\Box}} |
|
|
|
|
