>> Two meta-ness levels meet in things like
>> 
>> ```
>> Add command line option @code{--jobs @var{n}}, where @var{n} ...
>> ```
> 
> Here @var{n} outputs in two different font styles.

Yes, and I think this is correct.  Talking about a variable has a
different metaness in comparison to a variable embedded in stuff to be
entered as a command.

> I can see that the typewriter style here groups the --jobs n text
> together.  Another way would be to use quotes, like
> 
>   Add command line option @samp{--jobs @var{n}}, where @var{n} ...
> 
> where @samp would produce single quotes around the option.

Exactly, this is what I've meant with

   ... if everywhere people would use `@samp` instead of `@code`.


     Werner

Reply via email to