deletions | additions       diff --git a/header.tex b/header.tex  index 0382d6f..af0d4f0 100644  --- a/header.tex  +++ b/header.tex 
...
% macros  \newcommand{\tinyvm}{{\sc Anony}}  \newcommand{\feval}{{\tt feval}}  \newcommand{\fbase}{\textsf{f}}  \newcommand{\fvariant}{\textsf{f'}} \newcommand{\fbase}{$\textsf{f}$}  \newcommand{\fvariant}{$\textsf{f'}$}  \newcommand{\fosrfrom}{$\textsf{f}_{\textsf{OSRfrom}}$}  \newcommand{\fosrto}{$\textsf{f}\textsf{'}_{\textsf{OSRto}}$}  \newcommand{\fstub}{$\textsf{f}_{\textsf{stub}}$}  \newcommand{\osrpoint}{\textsf{L}} \newcommand{\osrpoint}{$\textsf{L}$}  % theorems  \newtheorem{theorem}{Theorem} 
...