Re: rethinking @def*

[Gavin Smith]

On Fri, Jul 29, 2022 at 12:53:53AM +0200, pertusus@free.fr wrote:
> Hello,
> 
> I did an implementation in LaTeX.
> 
> A first possible issue.  In non @deftype*, @code around metasyntactical
> separators (bracket or parentheses) causes the metasyntactical
> separators to become slanted.  It is consistent, putting in @code remove
> the automatic upright, but it is not very intuitive, as @code turns non
> slanted to slanted.
> 
> With the first line, [ are upright typewriter.  With the second line,
> [ are slanted typewriter:
> 
> @defspec foobar (var [from to [inc]]) default
> @defspecx foobar (var @code{[}from to @code{[}inc@code{]]}) code

I got the first line as slanted roman, not upright typewriter?
git rev 4fe154fa033fa9c.  The LaTeX output is

\noindent\texttt{foobar \bgroup{}\normalfont{}\textsl{(var {[}from to 
{[}inc{]}{]}) default}\egroup{}}\hfill[Special Form]



\index[fn]{foobar@\texttt{foobar}}%
\noindent\texttt{foobar \bgroup{}\normalfont{}\textsl{(var \texttt{{[}}from to 
\texttt{{[}}inc\texttt{{]}{]}}) code}\egroup{}}\hfill[Special Form]


and it is formatted as the attached image by pdflatex.

clip.png
Description: PNG image