Re: [latexrefman-discuss] \@var{len} or @var{\len}, that is the question

[Karl Berry]

    I think that the former (ie \@var{len}) is better, 

I agree.  Thanks.