deletions | additions       diff --git a/header.tex b/header.tex  index aabd509..76f9e0e 100644  --- a/header.tex  +++ b/header.tex 
...
\fi  % macros  \newcommand{\tinyvm}{{\sc Anony}} \newcommand{\tinyvm}{{\sf TinyVM}}  \newcommand{\feval}{{\tt feval}}  \newcommand{\fbase}{$\textsf{f}$}  \newcommand{\fvariant}{$\textsf{f'}$}