1\newcommand{\gifsep}{\hspace{1cm}} 2\newcommand{\true}{{\bf TRUE}} 3\newcommand{\false}{{\bf FALSE}} 4\newcommand{\caret}{\symbol{94}} 5\renewcommand{\arg}[1]{{\tt #1}} 6