24 Marzo 2010 alle 17:35
#43327
::
Grazie mille, come al solito funziona!
Siccome \begin{xy} come prima cosa emette un \begingroup e poi esegue il comando \xy, modifico la definizione di \xy dicendo che faccia il solito dopo aver dato anche \shorthandoff{“}.
La fortuna, in questo caso, è che il comando \xy non ha argomenti e perciò la tecnica mostrata funziona.
(1) Nel registro token \toks0 metto l’espansione di primo livello di \xy.
(2) Ridefinisco \xy con \edef, in modo che \the\toks0 liberi proprio il contenuto del registro (senza altre espansioni, secondo le regole di \edef. Prima però metto \shorthandoff{“}, i \noexpand servono per evitare le espansioni, così nel testo di sostituzione di \xy ci stanno proprio i quattro token \shorthandoff{“}. 🙂
Ciao
Enrico