% C++ Parameter: a type and a name (no intervening space)
\newcommand{\param}[2]{{\it #1}{\bf #2}}
+% 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}}