deletions | additions       diff --git a/header.tex b/header.tex  index 1b554af..f2d120f 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\fvariant}{\textsf{f'}}  \newcommand{\fosrfrom}{$\textsf{f}_{\textsf{OSRfrom}}$}  \newcommand{\fosrto}{$\textsf{f}\textsf{'}_{\textsf{OSRto}}$}  \newcommand{\fstub}{$\textsf{f}_{\textsf{stub}}$}  % theorems  \newtheorem{theorem}{Theorem} 
...