<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\newcommand{\gifsep}{\hspace{1cm}}
\newcommand{\true}{{\bf TRUE}}
\newcommand{\false}{{\bf FALSE}}
\newcommand{\caret}{\symbol{94}}
\renewcommand{\arg}[1]{{\tt #1}}
</pre></body></html>