deletions | additions       diff --git a/header.tex b/header.tex  index 9fe5601..daefc30 100644  --- a/header.tex  +++ b/header.tex 
...
\def\latex{\href{https://en.wikipedia.org/wiki/LaTeX}{\LaTeX}\xspace}  \usepackage{latexml,lxRDFa}  \def\onlyHTML#1{\iflatexml#1\fi}  \def\onlyPDF#1{\iflatexml\else#1\fi} \def\onlyHTML#1{\iflatexml #1\fi}  \def\onlyPDF#1{\iflatexml\else #1\fi}  \newtheorem{theorem}{Theorem}  \newtheorem{proof}{Proof}