[doc/gdbint] Mention some formatting guidelines for casts and unary operators

[Pedro Alves]

On Friday 04 February 2011 18:50:40, Eli Zaretskii wrote:
> > From: Pedro Alves <pedro@codesourcery.com>
> > Date: Tue, 1 Feb 2011 16:28:32 +0000
> > 
> > Okay?
> 
> Yes, but please use ``@minus{}'' instead of ``-'' to produce the minus
> sign.  ``-'' produces a dash character, which is typeset slightly
> differently in the printed version of the manual.

Hmm, I'm confused.  You mean @minus within @code{}?

-item @code{-x}
-@tab @code{- x}
+@item @code{@minus{}x}
+@tab @code{@minus{} x}

From info "(Texinfo)minus":
"You should not use `@minus{}' inside `@code'
or `@example' because the width distinction is
not made in the fixed-width font they use."

But it does indeed typeset a bit differently on html
at least.  Did I get that "@code{@minus{}x}" right?

Thanks,
-- 
Pedro Alves