deletions | additions       diff --git a/header.tex b/header.tex  index b5fc6f8..18ddbec 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\mynote}[1]{\medskip\noindent\small[{\bf Note:} {\em #1}]}  % macros  \newcommand{\tinyvm}{\sc Anony}  \newcommand{\feval}{\tt feval} \newcommand{\tinyvm}{{\sc Anony}}  \newcommand{\feval}{{\tt feval}}  % theorems  \newtheorem{theorem}{Theorem} 
...
}