On Mon, 5 May 2014, Gerald Pfeifer wrote:
> > I've changed this to @code{"="}. Is that what you meant?
>
> This is a question for Joseph. I see how a single character
> under @code{} won't work, yet @code{"="} doesn't feel right,
> either. Perhaps ``@code{=}''?
If you are referring to an actual string constant
"="
in the user's source code, then @code{"="} is correct. If you are
referring just to the single character
=
in the user's source code, whether as a token on its own or as part of a
larger token, then @samp{=} is the way to get it quoted (with the
character being in a fixed-width font, but the quotes around it not being
in such a font).
--
Joseph S. Myers
[email protected]
