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 jos...@codesourcery.com