🚀 go-pugleaf

	Thanks for all of you who has responded to my question. Most of the
people suggested to use variations of the following:

\def\rcs#1{\rrcs#1}
\def\rrcs$#1: #2 ${#2}

	It works fine in TeX mode. (@tex ... @end tex), but fails in
texinfo mode after substitute '\' by '@'. (Use of @rcs doesn't match its
definition.) I have tried to add the definition to various places in
texinfo.tex, but still doesn't work.

	"Robert J. Chassell" <bob@gnu.ai.mit.edu> pointed out the @set
@clear and @value commands in the new Texinfo might solve my problems. I'm
still waiting to tried it out.

Regards,
			Rui - Tao