So che le etichette non hanno alcun bisogno di apici o pedici,
e che potrebbero essere chiamante anche “topolino” o “pippo”.
Dal momento però che in quel file avevo attribuito loro la stessa stringa
della numerazione, mi aveva incuriosito capire perché la cosa non funzionava.
In realtà il giallo ha avuto un’appendice singolare. Ho confrontato
il mio codice con quello di OldClaudio, poi ho ricompilato cancellando
i file ausiliari. Ebbene, a questo punto ho ottenuto un messaggio
che mi diceva che era impossibile salvare il file logica.pdf (nato
dalla composizione di logica.tex) con quel nome, e mi proponeva
di attribuirgli un altro nome. Mi spiace di non aver registrato quel messaggio.
Ma qualsiasi nome alternativo proponessi, il problema si riproponeva.
Non sapendo come uscirne, ho addirittura riavviato il computer
e finalmente la compilazione è andata a buon fine. Altro mistero per me!
A questo punto in ogni caso il problema è risolto. Grazie a OldClaudio
per avermi seguito passo passo e a Enrico per il codice alternativo
m