macros.sty

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Theorems, lemmas, and definitions

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[chapter]
\newtheorem{lemma}[theorem]{Lemma}

\theoremstyle{definition}
\newtheorem{defin}[theorem]{Definition}

% Enumeration in theorems and definitions
\newenvironment{thmenumerate}
  {\begin{enumerate}[label=(\roman*),itemsep=0pt]}
  {\end{enumerate}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Typesetting conventions for different objects

% Sets of all elements in one syntactic category
\newcommand\syncatset[1]{\mathsf{#1}}
% Sets of all elements in one semantic category
\newcommand\semcatset[1]{\textbf{#1}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Definitions used across multiple chapters

% Identity function
\newcommand\id{\mathsf{id}}

% Partial map arrow
\newcommand\partialmap{\hookrightarrow}

% Domain
\newcommand\dom{\mathsf{dom}}

% Denotation
\newcommand\Denot[1]{\llbracket#1\rrbracket}

% Type safety
\newcommand\rawSafe{\mathsf{Safe}}
\newcommand\Safe[1]{\rawSafe(#1)} 

% Observation (in biorthogonal LR)
\newcommand\Obs{\mathsf{Obs}}