deletions | additions       diff --git a/header.tex b/header.tex  index deca5d9..d36199d 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\simle}{\mathrel{\rlap{\raise 0.511ex \hbox{$<$}}{\lower 0.511ex \hbox{$\sim$}}}}  \newcommand{\varv}{v}  \newcommand{\D}{{\mathrm d}}  \newcommand{\DD}{{\,\D\!\!\;}}