Scusa,
forse risulterò patetico o tardone, ma non ho capito se l’espansione tra \csname e \endcsname la fa \csname stesso o \expandafter che sta prima di \let o \endcsname.
In quetso caso Il comando “espandi dopo” (presente prima di \endcsname precedente) espande ps@empty o, come credo io, tutto l’insieme
`
\csname ps@empty\endcsname`
?Non è roba facile, lo so.
\csname
\endcsname espande completamente la lista all’interno. È \csname che provoca l’espansione, la lista finisce quando si incontra il comando \endcsname corrispondente (non è vietato avere \csname annidati).
…
Ciao
Enrico
Ora sì che sei stato chiaro. Sapevo che TeX esegue l’espansione completa quando incontra \edef o \xdef ma non sapevo che lo facesse anche con \csname.
Grazie mille,
Andrea