%% style for Topological Representations of the Lambda Calculus
%
% uses FaTeX.  For LaTeX, uncomment the following declarations:
%
\usepackage{amsmath,amsthm,amssymb}
\usepackage{diagrams}
%
% Do this to produce the final version, e.g. for left equation numbers.
%\pagestyle{myheadings} % puts page numbers top left
%\setlength{\topmargin}{0in}
%
%%%%%%%%%%%%%%%%% Commands %%%%%%%%%%%%%%%%%%%%%%%%
%
\newcommand{\lam}{\ensuremath{\lambda}}
\newcommand{\deq}{\ensuremath{=_{\mathit{df}}}}
\newcommand{\Ar}{\ensuremath{\Rightarrow}} 
\newcommand{\lar}{\ensuremath{\longrightarrow}}
\newcommand{\iar}{\ensuremath{\stackrel{\sim}{\longrightarrow}}}
\newcommand{\labar}[1]{\ensuremath{\stackrel{#1}{\rightarrow}}}
\newcommand{\llabar}[1]{\ensuremath{\stackrel{#1}{\longrightarrow}}}
\newcommand{\la}{\ensuremath{\langle}}
\newcommand{\ra}{\ensuremath{\rangle}}
\newcommand{\iso}{\ensuremath{\cong}}
\newcommand{\equi}{\ensuremath{\simeq}}
%
\newcommand{\N}{\ensuremath{\mathbb{N}}}
\newcommand{\M}{\ensuremath{\mathcal{M}}}
\newcommand{\U}{\ensuremath{\mathcal{U}}}
\newcommand{\Set}{\ensuremath{\mathbf{Set}}}
\newcommand{\Cat}{\ensuremath{\mathbf{Cat}}}
\newcommand{\CAT}{\ensuremath{\mathbf{CAT}}}
\newcommand{\E}{\ensuremath{\mathcal{E}}}
\newcommand{\C}{\ensuremath{\mathcal{C}}}
\newcommand{\mc}[1]{\ensuremath{\mathcal{#1}}}
\newcommand{\bb}[1]{\ensuremath{\mathbb{#1}}}
\newcommand{\T}{\ensuremath{\mathbb{T}}}
\renewcommand{\L}{\ensuremath{\mathcal{L}}} 
\newcommand{\LT}{\ensuremath{\mathcal{L}[\mathbb{T}]}}
\newcommand{\con}{\ensuremath{\ |\ }}
\newcommand{\conga}{\ensuremath{\Gamma\ |\ }}
\newcommand{\ty}{\ensuremath{\!:\!}}
\newcommand{\ldb}{\ensuremath{[\![}}
\newcommand{\rdb}{\ensuremath{]\!]}}
\newcommand{\Ls}{\ensuremath{\mc{L}[x_{\sigma}]}}% def \Ls
%
% using amsmath.sty
\newcommand{\colim}{\varinjlim}
\newcommand{\iiff}{\ensuremath{\quad\text{iff}\quad}}
\newcommand{\iimp}{\quad\text{implies}\quad}
\newcommand{\aand}{\ \text{and}\ }
\newcommand{\tlabel}[1]{\stepcounter{equation}\tag{\theequation}\label{#1}}
\DeclareMathOperator{\Mod}{Mod}
\DeclareMathOperator{\Sub}{Sub}
\DeclareMathOperator{\sh}{sh}
\DeclareMathOperator{\op}{\!^{op}}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\bHom}{\mathbf{Hom}}
\DeclareMathOperator{\true}{true}
\DeclareMathOperator{\eval}{eval}
%
% using amssymb.sty
\newcommand{\mono}{\rightarrowtail}
\newcommand{\epi}{\twoheadrightarrow}
\newcommand{\aar}{\rightrightarrows}
%
%%%%%%%%%%% Theorem environments %%%%%%%%%%%%%%%%%%%%%
%
\newtheorem*{theorem*}{Theorem}
\newtheorem{theorem}{Theorem} 
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma} 
\newtheorem{corollary}[theorem]{Corollary}
%
% using AMS amsthm.sty
%
%
\newtheorem*{corollary*}{Corollary}
%
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
%
\newtheorem*{remark*}{Remark}
%
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
%
\theoremstyle{plain}% resetting theoremstyle
%
%%%%%%% Additions to diagrams.sty %%%%%%%%%%%%%%%%%%%%%%%%%
%
\diagramstyle{midshaft,balance,heads=littlevee}
%
% Arrows
\newarrow{Equals}{=}{=}{=}{=}{=}
\newarrow{Epi}{-}{-}{-}{-}{>>}
\newarrow{Mono}{>}{-}{-}{-}{>}
\newarrow{Hook}{C}{-}{-}{-}{>}
%
%%%%%%% Changes to AMS proof environment %%%%%%%%%%%%%%%%%%
%
\newcommand{\noqed}{\renewcommand{\qed}{}}% no box at end of proof
%
%% end of file %%
%