deletions | additions       diff --git a/header.tex b/header.tex  index 7b3b875..c7b4033 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\feval}{{\tt feval}}  \newcommand{\fbase}{$\textsf{f}$}  \newcommand{\fvariant}{$\textsf{f'}$}  \newcommand{\fosrfrom}{$\textsf{f}_{\textsf{OSRfrom}}$}  \newcommand{\fosrto}{$\textsf{f}\textsf{'}_{\textsf{OSRto}}$} \newcommand{\fosrfrom}{$\textsf{f}_{\textsf{from}}$}  \newcommand{\fosrto}{$\textsf{f}\textsf{'}_{\textsf{to}}$}  \newcommand{\fstub}{$\textsf{f}_{\textsf{stub}}$}  \newcommand{\osrpoint}{$\textsf{L}$}