\newcommand{\E}{\mathbb E}
\newcommand{\PP}{\mathbb P}
\newcommand{\R}{\mathbb R}
\newcommand{\N}{\mathbb N}
\newcommand{\dd}{\,\mathrm d}
\DeclareMathOperator{\Var}{Var}
\DeclareMathOperator{\Cov}{Cov}
\DeclareMathOperator{\Tr}{Tr}
\DeclareMathOperator{\supp}{supp}
\DeclareMathOperator{\osc}{osc}
\DeclareMathOperator{\Ent}{Ent}
\DeclareMathOperator{\Law}{Law}
\DeclareMathOperator{\KL}{KL}
\DeclareMathOperator{\diag}{diag}
\DeclareMathOperator{\Lip}{Lip}
\newcommand{\TV}{\mathrm{TV}}
\newcommand{\eps}{\varepsilon}
\newcommand{\ind}{\mathbf 1}
\newcommand{\cE}{\mathcal E}
\newcommand{\cI}{\mathcal I}
\newcommand{\cN}{\mathcal N}
\newcommand{\cV}{\mathcal V}
\newcommand{\Sph}{S_N}
\newcommand{\T}{\mathsf T}
\newcommand{\ip}[2]{\langle#1,#2\rangle}
\newcommand{\tvnorm}[1]{\left\lVert#1\right\rVert_{\mathrm{TV}}}
% \aliaslabel{new}{old} makes \ref, \eqref and \cref{new} resolve exactly as {old}, from the second
% LaTeX run on; it writes the alias into the aux file at the end of the document (no new anchor, no new number).
% Used for source labels whose displays already carry another label (amsmath allows one label per display).
\makeatletter
\newcommand{\aliaslabel}[2]{\AtEndDocument{\if@filesw
\immediate\write\@auxout{\unexpanded{\global\expandafter\let\csname r@#1\expandafter\endcsname\csname r@#2\endcsname}}%
\immediate\write\@auxout{\unexpanded{\global\expandafter\let\csname r@#1@cref\expandafter\endcsname\csname r@#2@cref\endcsname}}%
\fi}}
\makeatother