% macros.tex
% 

%%%%%%%%
%       
%  Fonts
%       
%%%%%%%%

\renewcommand{\sfdefault}{cmss}% use Computer Modern for sans serif
\renewcommand{\ttdefault}{cmtt}% use Computer Modern for typewriter

%%%%%%%%
%       
%  Dates
%       
%%%%%%%%
%       European dates ``19 April 1990'' not ``April 19, 1990''
\def\Monthnameof#1{\ifcase#1\or
   January\or February\or March\or April\or May\or June\or
   July\or August\or September\or October\or November\or December\fi}
\def\today{\number\day~\Monthnameof\month~\number\year}

%%%%%%%%%%%
%       
%  Theorems
%       
%%%%%%%%%%%
%% the following require the package amsthm
%\swapnumbers% numbers precede headings

\theoremstyle{plain}% actually the default style
\newtheorem{theorem}{Theorem}
%
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{principle}[theorem]{Principle}
\newtheorem{conjecture}[theorem]{Conjecture}


\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
%
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{notation}[theorem]{Notation}
\newtheorem*{note*}{Note}
\newtheorem*{notes*}{Notes}
\newtheorem*{null*}{}

%\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}


%%%%%%%%%%%
%       
%  Sections 
%       
%%%%%%%%%%%

%\let\oldsubsection=\subsection
%\newsavebox{\subsectionbox}
%\renewcommand{\subsection}[2][]% subsection with displayed notation
%{\sbox{\subsectionbox}{#1}%
%  \oldsubsection{#2\hfill\protect\usebox{\subsectionbox}}}

%%%%%%%%%%%
%       
%  Commands  
%       
%%%%%%%%%%%

\newcommand{\abs}[1]{\langle #1 \rangle}
\newcommand{\act}{\cdot}
\newcommand{\acts}{\ast}
\newcommand{\Al}{\mathcal{A}}
\newcommand{\Alg}{\mathcal{A}\!\mathit{lg}}
\newcommand{\arrow}{\rightarrow}
\newcommand{\as}{\overline{a}}
\newcommand{\asort}[1][\alpha]{#1}
\newcommand{\Atom}{\mathbb{A}}
\newcommand{\atm}{\mathit{atm}}
\newcommand{\AtomSort}{\mathsf{AtomSort}}
\newcommand{\bimp}{\Leftrightarrow}
\newcommand{\Bl}{\mathcal{B}}
\newcommand{\bs}{\overline{b}}
\newcommand{\coim}{-_{c}}
\newcommand{\comment}[1]{}
\newcommand{\Cl}{\mathcal{C}}
\newcommand{\Con}[1][C]{#1}
\newcommand{\iso}{\cong}
\newcommand{\conj}{\wedge}
\newcommand{\conv}{\mathrel{\downarrow}}
\newcommand{\cs}{\overline{c}}
\newcommand{\defeq}{\;\triangleq\;}
\newcommand{\define}[1]{\emph{#1}}
\newcommand{\den}[1]{\llbracket#1\rrbracket}
\newcommand{\Den}[2][]{#1\llbracket#2\rrbracket}
\newcommand{\dinv}{\uparrow}
\newcommand{\dom}{\mathit{dom}}
\newcommand{\ds}{\overline{d}}
\newcommand{\ent}{\vdash}
\newcommand{\Ent}{\vDash} 
\newcommand{\eq}{\approx}
\newcommand{\exby}{
   \begin{picture}(10,10)
     \put(1,1){$\mathsmaller{>}$}
     \put(4.6,0.3){$-$}
   \end{picture}
   \;
}
\newcommand{\excl}{
   \begin{picture}(10,10)
     \put(0,0){$-$}
     \put(6.5,0.85){$\mathsmaller{<}$}
   \end{picture}
   \;
}
\newcommand{\FA}{\mathit{FA}}
\newcommand{\fe}[1][\nabla]{#1}
\newcommand{\fmap}{\rightarrow_{\mathrm{fin}}}
\newcommand{\Fr}{\mathcal{F}}
\newcommand{\freshfor}{% code provided by Robin Fairbairn
  \ensuremath{\mathrel{%
      \hbox{\ooalign{%
          \hfil$\approx$\hfil\cr%
          \hfil$\sslash$\hfil}}}}}
\newcommand{\fset}{\mathcal{P}_{\mathrm{fin}}}
\newcommand{\Il}{\mathcal{I}}
\newcommand{\id}{\mathit{id}}
\newcommand{\idp}{\iota}
\newcommand{\IH}{\mathcal{IH}}
\newcommand{\imp}{\Rightarrow}
\newcommand{\inc}{\hookrightarrow}
\newcommand{\Jat}{\mathcal{J}}
\newcommand{\Jud}[1][J]{#1}
\newcommand{\Kat}{\mathcal{K}}
\newcommand{\la}{\langle}
\newcommand{\Lat}{\mathcal{L}}
\newcommand{\limp}{\multimap}
\newcommand{\lb}{\llbracket}
\newcommand{\lastname}{Clouston and Pitts}
\newcommand{\morphism}{\longrightarrow}
\newcommand{\natto}{\dot{\to}}
\newcommand{\nent}{\nvdash} 
\newcommand{\nEnt}{\nvDash} 
\newcommand{\Nom}{\mathcal{N}\!\mathit{om}}
\newcommand{\nsupp}{\mathrel{\#}}
\renewcommand{\o}{\mathbin{\circ}}
\newcommand{\op}[1][op]{\mathit{#1}}
\newcommand{\Op}{\mathsf{Op}}
\newcommand{\Perm}{\mathsf{Perm}}
\newcommand{\pfun}{\rightharpoonup}
\newcommand{\Pow}{\mathcal{P}}
\newcommand{\ra}{\rangle}
\newcommand{\rb}{\rrbracket}
\newcommand{\Ren}{\mathsf{Ren}}
\newcommand{\res}{\upharpoonright}
\newcommand{\ruleref}[1]{(\RefTirName{#1})}
\newcommand{\se}[1][\Gamma]{#1}
\newcommand{\seof}[1]{#1^{:}}
\newcommand{\Set}{\mathcal{S}\!\mathit{et}}
\newcommand{\sfun}{\mathrel{-\hspace{-2.6mm}-\hspace{-2.3mm}\ast}}
\newcommand{\Sig}{\Sigma}
\newcommand{\smallfreshfor}{\mbox{\scriptsize$\freshfor$}}
\newcommand{\sort}[1][s]{\mathsf{#1}}
\newcommand{\Sort}{\mathsf{Sort}}
\newcommand{\sortof}{\mathit{sort}}
\newcommand{\sub}[1][\sigma]{#1}
\newcommand{\Sub}[3]{#1(#2,#3)}
\newcommand{\supp}{\mathit{supp}}
\newcommand{\swap}[2]{(#1\;#2)}
\newcommand{\Term}[3]{#1_{#2}(#3)}
\newcommand{\Th}{\mathbb{T}}
\newcommand{\tr}[2]{(#1\ #2)}
\newcommand{\Tr}{\tau}
\newcommand{\tto}{\mathop{^\to _\to}}
\newcommand{\ul}{\underline}
\newcommand{\utimes}{\underline{\otimes}}
\newcommand{\uparr}{\underline{\parr}}
\newcommand{\ulimp}{\underline{\limp}}
\newcommand{\var}{\mathit{var}}
\newcommand{\Var}{\mathsf{Var}}
\newcommand{\ve}[1][\rho]{#1}
\renewcommand{\Vec}[1]{\pol{#1}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\seq{\Rightarrow}

\def\Pc{\mathcal{P}}
\def\Qc{\mathcal{Q}}
\def\Sc{\mathcal{S}}
\def\Tc{\mathcal{T}}
\def\Uc{\mathcal{U}}
\def\Vc{\mathcal{V}}
\def\Xc{\mathcal{X}}
\def\Yc{\mathcal{Y}}
\def\Zc{\mathcal{Z}}

\def\punit{\bot}
\def\tunit{\mathrm{I}}
%\def\sunit{\Phi}
\def\sunit{\cdot}
\def\limp{\multimap}
%\def\excl{\leftY}
%\def\excl{{-\!\!\!<}}
\def\ltens{\otimes}

\def\fill{\mathrm{FILL}}
\def\biill{\mathrm{BiILL}}
\def\biilldc{\mathrm{BiILL}{\scriptstyle dc}}
%\def\fbills{\mathrm{BiILL}^{sn}}
\def\biillsn{\mathrm{BiILL}{\scriptstyle sn}}
%\def\fbilld{\mathrm{BiILL}^{dn}}
\def\biilldn{\mathrm{BiILL}{\scriptstyle dn}}
\def\filldc{\mathrm{FILL}{\scriptstyle dc}}
%\def\filld{\mathrm{FILL}^{dn}}
\def\filldn{\mathrm{FILL}{\scriptstyle dn}}
\def\impl{\supset}
\def\dimpl{\subset}
\def\bang{!}
\def\qm{?}

\def\drp{\mathit{drp}}
\def\rp{\mathit{rp}}

\endinput

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "nomss"
%%% End: 
