% $Id: macros.tex,v 1.1 2024/02/16 16:08:24 leavens Exp leavens $
\newcommand{\SEMESTER}{Spring, 2024} %%%%%%%%%%%%%%%%%%%%%%%% *change this line*
\raggedright
\usepackage[T1]{fontenc}
\usepackage{times}
%\usepackage[scaled=0.81]{luximono}
%\usepackage{varioref}
\usepackage{listings}
\usepackage{color}
\usepackage[bookmarks=false]{hyperref}
\usepackage{latexsym}
\input{obey}
\input{grammar}
\input{calculation}
\input{math-notations}
\input{program-analysis}
\renewcommand{\bigmeet}{\bigsqcap}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{example}[theorem]{Example}
\input{theoremsRest}
\renewcommand{\PROOF}{\noindent\textit{Proof:\/}~~}
%
% \input{denotational-semantics}
\newcommand{\CATEGORY}[1]{\mbox{\textbf{#1}}}
\renewcommand{\nonterm}[1]{\mbox{$\langle$\textrm{#1}$\rangle$}}
\renewcommand{\arbno}[1]{\{#1\}}
\newcommand{\gramquote}[1]{\textrm{`}#1\textrm{'}}
%\input{use-full-height}
%\input{use-medium-width}

\newcommand{\figref}[1]{Figure~\ref{#1}}  % vref from varioref
\newcommand{\fignref}[1]{Figure~\ref{#1}}  % doesn't use varioref
\newcommand{\exref}[1]{Problem~\ref{#1}}  % vref from varioref
\newcommand{\exnref}[1]{Problem~\ref{#1}}  % doesn't use varioref

% notation for configurations
\newcommand{\nil}{\textbf{\texttt{nil}}}
\newcommand{\TTSREASON}[1]{\REASON{\rightarrow}{#1}}
\newcommand{\TTSFIXEDWIDTHREASON}[1]{\FIXEDWIDTHREASON{\rightarrow}{#1}}
\newcommand{\TTSLONGREASON}[1]{\LONGREASON{\rightarrow}{#1}}
\newcommand{\ENVMAPSTO}[2]{\texttt{#1} \rightarrow #2}
\newcommand{\EXTENDENV}[3]{\ensuremath{#1 + \{\ENVMAPSTO{#2}{#3}\}}}
\newcommand{\NEXT}{\textit{next}}
\newcommand{\ALLOC}{\textit{alloc}}
\newcommand{\BIND}{\textit{bind}}
\newcommand{\UNIFY}{\textit{unify}}

\newcommand{\KW}[1]{\textbf{\texttt{#1}}}

\newcommand{\floor}[1]{\lfloor#1\rfloor}
