
%---------------------------------  Constants  ---------------------------------




%-----------------------------------  Terms  -----------------------------------

\newcommand{\PiTyp}[2]{\Pi #1.#2}
\newcommand{\Lam}[1]{\lambda #1}
\newcommand{\Arr}[2]{#1\to #2}
\newcommand{\HSub}[4]{[#1/#2]^{#3}#4}

%--------------------------------  Basic math  ---------------------------------

\newcommand{\set}[1]{\{#1\}}

\newcommand{\Not}{\neg}
\newcommand{\And}{\wedge}
\newcommand{\Or}{\vee}
\newcommand{\AND}{\bigwedge}
\newcommand{\OR}{\bigvee}
\newcommand{\Imp}{\supset}
\newcommand{\Iff}{\Longleftrightarrow}
\newcommand{\Arr}{\Rightarrow}





