\usepackage{fullpage}
\usepackage{color}
\usepackage{graphicx}
\usepackage{epsfig}
\usepackage{amsthm}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{amsmath}

\newcommand{\newfontobj}[2]{
  \newcommand{#1}[1]{
    \expandafter\def\csname##1\endcsname{{#2 ##1}}}}

\newfontobj{\class}{\sf} % Typeset Classes in sans serif font

% Some standard classes (use in only mathmode)
% Usage example: $\P \subseteq \NP$ and we believe that $\NP$ is not 
%  equal to $\P$.


\class{PSPACE}	
\class{AM}		
\class{MA}
\class{NP}
\class{UP}
\class{P}
\class{RP}
\class{BPP}
\class{DTIME}
\class{ZPP}
\class{EXPSPACE}
\class{coNP}
\class{coRP}
\class{coAM}
\class{PH}
\class{IP}
\class{PCP}

% \lecture{number}{date}{title}{scribe}
\newcommand{\lecture}[4]{
\noindent
\fbox{
\begin{minipage}{6.3in}
  {\bf CS 880: Advanced Complexity Theory} \hfill #2
  \begin{center}
    {\Large Lecture #1: #3} \\[3mm]
  \end{center}
Instructor: Dieter van Melkebeek \hfill Scribe: #4
\end{minipage}
}
\bigskip

\bigskip
}

% add DRAFT to your document %
\newcommand{\draft}[0]{
\begin{center}
	{\bf \Large \textsc{DRAFT} }
\end{center}
}

% example environment
\newenvironment{example}
{\emph{Example:}}
{\hfill $\boxtimes$\newline\newline}

% some theorem environments
\newtheorem{theorem}{Theorem}
\newtheorem{proposition}{Proposition}
\newtheorem{claim}{Claim}
\newtheorem{lemma}{Lemma}
\newtheorem{corollary}{Corollary}
\newtheorem{definition}{Definition} % Use this for non-trivial
	% definitions.

% currently not used %
\newtheorem{exercise}{Exercise}
\newtheoremstyle{example}{\topsep}{\topsep}%
     {\normalfont \small}   % Body font
     {}    % Indent amount (empty = no indent, \parindent = para indent)
     {\bfseries}     % Thm head font
     {}%           Punctuation after thm head
     {\topsep}%     Space after thm head
     {}%         Thm head spec    \theoremstyle{example}
\theoremstyle{example}
%\newtheorem{example}{Example}

