\newcommand{\p}[1]{\texttt{#1}} \newcommand{\Doc}[0]{\ensuremath{\mathit{Doc}}} \newcommand{\Enr}[0]{\ensuremath{\mathit{Enr}}} \newcommand{\Pres}[0]{\ensuremath{\mathit{Pres}}} \newcommand{\Lay}[0]{\ensuremath{\mathit{Lay}}} \newcommand{\Arr}[0]{\ensuremath{\mathit{Arr}}} \newcommand{\Ren}[0]{\ensuremath{\mathit{Ren}}} \newcommand{\fn}[1]{{\ensuremath{\mathsf {#1}}}} \newcommand{\present}{\fn{present}} \newcommand{\interpret}{\fn{interpret}} \newcommand{\Level}[0]{\ensuremath{\mathit{Level}}} % not used, so we redefine these commands \renewcommand{\H}{_{\hspace*{0.076em} \mathrm H}} \renewcommand{\L}{_{\hspace*{0.076em} \mathrm L}}