%packages

\usepackage{amsfonts,amssymb}
\usepackage{latexsym}
\usepackage{graphicx}
%\usepackage{colortbl}
\usepackage[all,ps]{xypic}
\usepackage{verbatim}
\usepackage{url}
\usepackage{pst-node}
%\usepackage{fullpage}
\usepackage{latexsym}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage{amsfonts,amssymb}
%\usepackage{verbatim}

%\documentclass{amsart}
%\usepackage{amssymb,latexsym}



%\usepackage{amsthm}
%\usepackage{amssymb}

\usepackage{epsfig}
%\usepackage{color}


% blackboard
\newcommand{\bbtwo}{\mathbbm{2}}
\newcommand{\abb}{{\ensuremath{\mathbb{ A}}} }
\newcommand{\bbb}{{\ensuremath{\mathbb{ B}}} }
\newcommand{\cbb}{{\ensuremath{\mathbb{ C}}} }
\newcommand{\dbb}{{\ensuremath{\mathbb{ D}}} }
\newcommand{\ebb}{{\ensuremath{\mathbb{ E}}} }
\newcommand{\fbb}{{\ensuremath{\mathbb{ F}}} }
\newcommand{\ibb}{{\ensuremath{\mathbb{ I}}} }
\newcommand{\jbb}{{\ensuremath{\mathbb{ I}}} }
\newcommand{\lbb}{{\ensuremath{\mathbb{ L}}} }
\newcommand{\lbbc}{{\ensuremath{\mathbb{ L}_C}} }
\newcommand{\lbbd}{{\ensuremath{\mathbb{ L}_D}} }
\newcommand{\mbb}{{\ensuremath{\mathbb{ M}}} }
\newcommand{\nbb}{{\ensuremath{\mathbb{ N}}} }
\newcommand{\pbb}{{\ensuremath{\mathbb{ P}}} }
\newcommand{\rbb}{{\ensuremath{\mathbb{ R}}} }
\newcommand{\qbb}{{\ensuremath{\mathbb{ Q}}} }
\newcommand{\sbb}{{\ensuremath{\mathbb{ S}}} }
\newcommand{\tbb}{{\ensuremath{\mathbb{ T}}} }
\newcommand{\xbb}{{\ensuremath{\mathbb{ X}}} }
\newcommand{\ybb}{{\ensuremath{\mathbb{ Y}}} }
\newcommand{\zbb}{{\ensuremath{\mathbb{ Z}}} }



% Calligraphics
\newcommand{\acal}{\mathcal{ A}}
\newcommand{\bcal}{\mathcal{ B}}
\newcommand{\ccal}{\mathcal{ C}}
\newcommand{\dcal}{\mathcal{ D}}
\newcommand{\ecal}{\mathcal{ E}}
\newcommand{\fcal}{\mathcal{ F}}
\newcommand{\gcal}{\mathcal{ G}}
\newcommand{\hcal}{\mathcal{ H}}
\newcommand{\ical}{\mathcal{ I}}
\newcommand{\jcal}{{\mathcal J}}
\newcommand{\kcal}{{\mathcal K}}
\newcommand{\lcal}{\mathcal{ L}}
\newcommand{\mcal}{\mathcal{ M}}
\newcommand{\ncal}{\mathcal{ N}}
\newcommand{\ocal}{\mathcal{ O}}
\newcommand{\pcal}{\mathcal{ P}}
\newcommand{\qcal}{\mathcal{ Q}}
\newcommand{\rcal}{\mathcal{ R}}
\newcommand{\scal}{\mathcal{ S}}
\newcommand{\tcal}{\mathcal{ T}}
\newcommand{\ucal}{\mathcal{ U}}
\newcommand{\vcal}{\mathcal{ V}}
\newcommand{\wcal}{\mathcal{ W}}
\newcommand{\xcal}{\mathcal{ X}}
\newcommand{\ycal}{\mathcal{ Y}}
\newcommand{\zcal}{\mathcal{ Z}}

% Sans serif
\newcommand{\Asf}{\mathsf{A}}
\newcommand{\Bsf}{\mathsf{B}}
\newcommand{\Csf}{\mathsf{C}}
\newcommand{\Dsf}{\mathsf{D}}
\newcommand{\Esf}{\mathsf{E}}
\newcommand{\Fsf}{\mathsf{F}}
\newcommand{\Gsf}{\mathsf{G}}
\newcommand{\Ksf}{\mathsf{K}}
\newcommand{\Psf}{\mathsf{P}}
\newcommand{\Ssf}{\mathsf{S}}
\newcommand{\Tsf}{\mathsf{T}}
\newcommand{\Xsf}{\mathsf{X}}
\newcommand{\Zsf}{\mathsf{Z}}

\newcommand{\esf}{\mathsf{e}}
\newcommand{\isf}{\mathsf{i}}
\newcommand{\ssf}{\mathsf{s}}
\newcommand{\tsf}{\mathsf{t}}



%misc
\newcommand{\sort}{\mathsf{type}}
\newcommand{\rules}[2]{\mbox{$\frac%
    {\mbox{\normalsize \rule[-5pt]{0pt}{14pt} $#1$}}
    {\mbox{\normalsize \rule[0pt]{0pt}{10pt}$#2$}}$}}
\newcommand{\Names}{{\cal N}}
\newcommand{\lsem}{\mathopen{[\![}}
\newcommand{\rsem}{\mathclose{]\!]}}
\newcommand{\sem}[1]{\lsem #1 \rsem}
\newcommand{\equcl}[2]{\{#1\}_{#2}}
\newcommand{\Fr}{\mathsf{Fr}}



\newcommand{\Set}{\mathsf{Set}}
\newcommand{\Khaus}{\mathsf{CHaus}}
\newcommand{\Nom}{\mathsf{Nom}}
\newcommand{\SymmA}{\mathsf{S}(\ncal)}
\newcommand{\KOT}{\mathsf{COTop}}
\newcommand{\KRB}{\mathsf{CRegBiTop}}
\newcommand{\Prox}{\mathsf{Prox}}
\newcommand{\SKT}{\mathsf{StCTop}}
\newcommand{\Alg}{\mathsf{Alg}}
\newcommand{\List}{\mathsf{List}}
\newcommand{\id}{\mathrm{id}}
\newcommand{\Sh}{\mathrm{Sh}(\ibb^\mathit{op})}
\newcommand{\Shj}{\mathrm{Sh}(\jbb^\mathit{op})}
\newcommand{\Lalg}{\mathsf{Alg}(L)}
\newcommand{\LTalg}{\Alg(\tilde{L})}
\newcommand{\supp}{\mathsf{supp}}
\newcommand{\iop}{\ibb^\mathit{op}}
\newcommand{\Term}{\mathrm{Term}}
\newcommand{\lam}{\mathsf{lam}}
\newcommand{\app}{\mathsf{app}}
\newcommand{\NEL}{\mathrm{NEL}}
\newcommand{\op}{\mathit{op}}
\newcommand{\BA}{\mathsf{BA}}

\begin{comment}
%comments in boxes


\usepackage{color,graphics}
%  \ifemi
   \definecolor{gray}{rgb}{.5,.5,0.5}
 \usepackage{ulem}\normalem
   \newcommand{\emi}[1]{{\marginpar{\cf{6}{{#1}}}}}
   \newcommand{\emic}[2]{\ \\[.1em]
     \definecolor{shadecolor}{rgb}{1,0.99,0.9}
     \fcolorbox{red}{shadecolor}{\parbox{\linewidth}{
           \color{gray}
           {\color{blue} #2}{\sf #1}
           }}
     \ \\[.1em]}

\newcommand{\answ}[2]{\fbox{\parbox{.8\textwidth}{\begin{description}\item[\cf{8}{\sc\bf
               #2}]\cf{8}{#1}\end{description}}}}

\end{comment}

\newcommand{\sfresh}{\ensuremath{\mathrel{\mathpalette\sfreshs\approx}}}
 \newcommand{\sfreshs}[2]{\ooalign{$\hfil#1\mkern1mu/\mkern-6mu/\hfil$\crcr$#1#2$}}
%     \else
%     \newcommand{\emi}[1]{}
%     \newcommand{\emic}[2]{}
%     \newcommand{\answ}[2]{#1}
%     \fi
% %    \definecolor{violetto}{rgb}{.5,0,0.9}






