\newcommand\kl{\textit{kl}}
\newcommand\id{\textit{id}}
\newcommand\pext{\textit{pext}}
\newcommand\ext{\textit{ext}}
\newcommand\bind{\textit{bind}}
\newcommand\unit{\textit{unit}}
\newcommand\map{\textit{map}}
\newcommand\join{\textit{join}}
\newcommand\oo{$\circ$}
\newcommand\om{$\odot$}

\newcommand\RM{$_{RM}$}
\newcommand\SM{$_{SM}$}
\newcommand\NM{$_{NM}$}
\newcommand\EM{$_{EM}$}
\newcommand\W{$_{W}$}
\newcommand\E{$_{E}$}
\newcommand\N{$_{N}$}
\newcommand\M{$_{M}$}
\newcommand\K{$_{K}$}

\newcommand\extM{$\ext_M$}
\newcommand\unitM{$\unit_M$}
\newcommand\mapM{$\map_M$}
\newcommand\joinM{$\join_M$}
\newcommand\oM{$\odot_M$}

\newcommand\extK{$\ext_K$}
\newcommand\unitK{$\unit_K$}
\newcommand\oK{$\odot_K$}

\newcommand\extN{$\ext_N$}
\newcommand\unitN{$\unit_N$}
\newcommand\oN{$\odot_N$}

\newcommand\extNM{$\ext_{NM}$}
\newcommand\pextNM{$\pext_{NM}$}
\newcommand\unitNM{$\unit_{NM}$}
\newcommand\mapNM{$\map_{NM}$}
\newcommand\joinNM{$\join_{NM}$}
\newcommand\oNM{$\odot_{NM}$}

\newcommand\extRM{$\ext_{RM}$}
\newcommand\unitRM{$\unit_{RM}$}
\newcommand\oRM{$\odot_{RM}$}

\newcommand\extSM{$\ext_{SM}$}
\newcommand\unitSM{$\unit_{SM}$}
\newcommand\oSM{$\odot_{SM}$}

\newcommand\oEM{$\odot_{EM}$}

\newcommand\mapext{\textit{map-ext}}
\newcommand\joinext{\textit{join-ext}}
\newcommand\bindext{\textit{bind-ext}}
\newcommand\pextext{\textit{pext-ext}}
\newcommand\extjm{\textit{ext-jm}}
\newcommand\extass{\textit{ext-assoc}}
\newcommand\extfun{\textit{ext-funct}}
\newcommand\extcong{\textit{ext-inj}}
\newcommand\extlu{\textit{ext-L-unit}}
\newcommand\extru{\textit{ext-R-unit}}
\newcommand\pextfun{\textit{pext-funct}}
\newcommand\pextcong{\textit{pext-inj}}
\newcommand\pextlu{\textit{pext-L-unit}}
\newcommand\pextru{\textit{pext-R-unit}}
\newcommand\kass{\textit{Kl-assoc}}
\newcommand\klid{\textit{Kl-L-id}}
\newcommand\krid{\textit{Kl-R-id}}
\newcommand\omext{\textit{\om -ext}}
\newcommand\ompext{\textit{\om -pext}}
\newcommand\extom{\textit{ext-\om}}
\newcommand\pextom{\textit{pext-\om}}
\newcommand\hext{\textit{-ext}}
\newcommand\exth{\textit{ext-}}
\newcommand\omoass{\textit{\om -\oo -assoc}}
\newcommand\omoIass{\textit{\om -\oo -id-assoc}}
\newcommand\exto{\textit{ext-o}}
\newcommand\extojoin{\textit{ext-o-join}}
\newcommand\unitcomp{\textit{unit-comp}}
\newcommand\extcomp{\textit{ext-comp}}
\newcommand\mapcomp{\textit{map-comp}}
\newcommand\Jo{\textit{J1}}
\newcommand\Jos{\textit{J1S}}
\newcommand\Pof{\textit{P1-4}}
\newcommand\prd{\textit{prod}}
\newcommand\acc{\textit{acc}}
\newcommand\prdpext{\textit{prod-pext}}
\newcommand\pexto{\textit{pext-o}}
\newcommand\pextpm{\textit{pext-pm}}
\newcommand\pextOk{\textit{pext-Ok}}
\newcommand\pextErr{\textit{pext-Err}}

\newcommand\lhs{\textit{lhs}}
\newcommand\rhs{\textit{rhs}}

\newcommand\C{\textit{C}}
\newcommand\curry{\textit{curry}}
\newcommand\unc{\textit{unc}}
\newcommand\ap{\textit{ap2}}
\newcommand\ape{$\textit{ap}_e$}
\newcommand\State{\textsf{State}}
\newcommand\Ans{\textsf{Ans}}
\newcommand\Env{\textsf{Env}}
\newcommand\Monoid{\textsf{Monoid}}