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