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