
% Pi-calculus
\newcommand{\picalc}{$\pi$-calculus}
\newqsymbol{`n}{\boldsymbol{\nu}}
\renewcommand{\bar}[1]{{\overline #1}}

% Telescopes
\def\tele#1{\overrightarrow{#1}}

% Pure type systems
\newcommand{\PTSsorts}{\mathcal{S}}
\newcommand{\PTSaxioms}{\mathcal{A}}
\newcommand{\PTSrules}{\mathcal{R}}

\newcommand{\hnf}[1]{#1^{\downarrow}}
\newcommand{\nf}[1]{#1{\downarrow}}

\newcommand{\SP}{\textsc{SP}}
\newcommand{\eqbre}{`=_{\beta\pi\eta}}
\newcommand{\eqbr}{`=_{\beta\pi}}
\newcommand{\eqqbp}{`=^{?}_{\beta\pi}}
\newcommand{\eqbp}{`=_{\beta\pi}}
\newcommand{\noteqbp}{\not`=_{\beta\pi}}
\newcommand{\redbr}{"->"_{\beta\pi}}
\newcommand{\redbrt}{"->>"_{\beta\pi}}
\newcommand{\redbp}{"->"_{\beta\pi}}
\newcommand{\redbpt}{"->>"_{\beta\pi}}
\newcommand{\eqbres}{`=_{\beta\pi\eta\SP{}}}
\newcommand{\eqbrs}{`=_{\beta\pi\SP{}}}
\newcommand{\eqbpers}{`=_{\beta\pi\eta\rho\sigma}}


\newcommand{\freevars}[1]{\ensuremath\mathcal{F}\mathcal{V}(#1)}
