%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Church trees
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% numbers
\newcommand{\zero}{\mathtt{zero}}
\newcommand{\suc}{\mathtt{succ}}
\newcommand{\ifz}{\mathtt{ifz}}
\newcommand{\pred}{\mathtt{pred}}
\newcommand{\plus}{\mathtt{plus}}

% trees
\newcommand{\leaf}{\mathtt{leaf}}
\newcommand{\branch}{\mathtt{branch}}
\newcommand{\rec}{\mathtt{rec}}
\newcommand{\tree}{\mathtt{tree}}
\newcommand{\treerec}{{\rec_\tree}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Parallel reduction
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\parreduces}{\to_\parallel}
\newcommand{\reduces}{\to_\beta}
% names of rules
\newcommand{\refl}{\mathsf{refl}}
\newcommand{\abs}{\mathsf{abs}}
\newcommand{\ap}{\mathsf{ap}}
\newcommand{\var}{\mathsf{var}}
