macros.tex

\renewcommand{\bnf}[1]{{\color{red}#1}}
\newcommand{\type}{\mathtt{type}}
\newcommand{\kind}{\mathtt{kind}}
\newcommand{\self}{\mathtt{self}}
\newcommand{\judg}[2]{#1 \vdash #2}
\newcommand{\gjudg}[1]{\judg\Gamma{#1}}
\newcommand{\tjudg}[2]{\judg{\Theta;#1}{#2}}
\newcommand{\tgjudg}[1]{\tjudg{\Gamma}{#1}}
\newcommand{\hastype}[2]{ #1 : #2 }
\newcommand{\judgeq}[3]{ #1 \equiv #2:#3}
\newcommand{\judgeqc}[2]{ #1 \rewrites #2}
\newcommand{\oma}[2]{\ensuremath{#1\left(#2\right)}}
\newcommand{\ombind}[3]{\ensuremath{#1\left[#2\right]\left(#3\right)}}

\newcommand{\incl}[1]{\mathtt{include}\,#1}
\newcommand{\gray}[1]{{\color{gray}#1}}
\newcommand{\red}[1]{{\color{red}#1}}

\newcommand{\cn}[1]{\ensuremath{\mathtt{#1}}}
\def\defemph{\textbf}