% C++ argument in the documentation text
\newcommand{\arg}[1]{{\it #1}}
+% true and false keywords:
+\newcommand{\true}{{\tt true}}
+\newcommand{\false}{{\tt false}}
+
% CLIPS Parameter: a type and a name (one intervening space)
\newcommand{\cparam}[2]{{\bf #1} {\it #2}}