$$ \def\NN{{\mathbb N}} $$

$$ \def\RR{{\mathbb R}} $$

$$ \def\CC{{\mathbb C}} $$

$$ \def\ZZ{{\mathbb Z}} $$

$$ \DeclareMathOperator*{\dom}{dom} $$

$$ \DeclareMathOperator*{\TV}{TV} $$

$$ \DeclareMathOperator*{\TVani}{{TV}^\text{ani}} $$

$$ \DeclareMathOperator*{\HTValpha}{{HTV}_\alpha} $$

$$ \DeclareMathOperator*{\divergence}{div} $$

$$ \newcommand\RRRR[1]{\RR^{#1} \times \RR^{#1}} $$

Homepage of Rémy Abergel