letteracdp

Dovresti includere un esempio (possibilmente minimo) compilabile che riproduca il problema; altrimenti si può solo tirare a indovinare, come faccio io ponendoti la domanda seguente: per caso, durante la compilazione compaiono avvertimenti del tipo
`
LaTeX Font Warning: Font shape `…' in size <...> not available
(Font) Font shape `…' tried instead on input line …
`
o simili?

Ciao.

—
Gustavo

Nella speranza che possa essere d’aiuto:
`
% My standard header for TeX.SX answers:
\documentclass[a4paper]{article} % To avoid confusion, let us explicitly
% declare the paper format.

\usepackage[T1]{fontenc} % Not always necessary, but recommended.
% End of standard header. What follows pertains to the problem at hand.

\usepackage[italian]{babel}
\usepackage{amsmath} % irrilevante

\begin{document}

Vediamo tre esempi:

\begin{center}
Il mio bel titolo composto senza neretto\\
con la sua formula~$\log q^{3}$
\end{center}

\begin{center}
\bfseries
Il mio bel titolo composto \emph{in} neretto\\
ma con la formula $\log q^{3}$ \emph{non} in neretto
\end{center}

\begin{center}
\bfseries\boldmath
Il mio bel titolo composto in neretto\\
e con la formula $\log q^{3}$ \emph{pure} in neretto
\end{center}

La dichiarazione \verb|\boldmath| (equivalente a \verb|\mathversion{bold}|) fa
s\`{\i} che le formule matematiche che compaiono nel suo ambito di
visibilit\`{a} vengano composte in neretto, anche se limitatamente ai simboli
che possiedono una versone in neretto. Essa \`{e} soggetta alle ordinarie
regole di visibilit\`{a}, ma va impartita \emph{fuori} delle formule alle quali
la si vuole applicare. Per esempio, {\boldmath $x^{2}+y^{2}=1$} ha l'effetto
voluto, ma $\boldmath x^{2}+y^{2}=1$ no (e, durante la compilazione, si ottiene
anche un avvertimento al rifuardo!).

\end{document}
`

Ciao.

—
Gustavo

Un errore del genere può prodursi, ad esempio, quando includi un ambiente [tt]figure[/tt] dentro a un ambiente [tt]minipage[/tt]. Fai qualcosa del genere? Più in generale, hai qualche ambiente [tt]figure[/tt] che compaia in un qualche posto “strano”? E non è che per caso hai due figure una di seguito all’altra, ma nella prima ti sei dimenticato l’[tt]\end{figure}[/tt]?

Ciao.

—
Gustavo

Devi:

1. compilare almeno due volte senza modificare le etichette tra le due compilazioni;
2. leggere una guida introduttiva a LaTeX.

Il punto 2 è di gran lunga il più urgente! 😉 Per quanto riguarda il punto 1, LaTeX ti avviserà, alla fine di una data compilazione, se sono necessarie ulteriori compilazioni «to get cross-references right».

Ciao.

—
Gustavo

Gli avvertimenti dovrebbero sparire alla seconda compilazione. Tu, ovviamente, sai che, affinché i riferimenti incrociati funzionino, bisogna compilare almeno due volte, no? Del resto, se tu non lo sapessi, non otterresti i riferimenti incrociati come li vuoi, e non diresti che «sembrerebbe tutto perfetto», giusto?

Ciao.

—
Gustavo

Sembra che il mio precedente messaggio non sia stato ben compreso: evidentemente non mi ero spiegato bene. Cercherò dunque ora di chiarire meglio, pur se ciò mi costringerà a essere prolisso, anche perché i messaggi inviati nel tempo intercorso da ieri hanno chiarito che la questione di cui ci stiamo occupando è piuttosto importante.

Ripeto che il problema non sono i [tt]\catcode[/tt], bensì, solo e unicamente, il carattere «barra rovesciata» ([tt]\[/tt]) in quanto tale. Lo si capisce bene compilando il seguente esempio:
`
% My standard header for TeX.SX answers:
\documentclass[a4paper]{article} % To avoid confusion, let us explicitly
% declare the paper format.

\usepackage[T1]{fontenc} % Not always necessary, but recommended.

\usepackage[ascii]{inputenc} % Just to check that the source is still pure,
% 7-bit-clean ASCII when you execute it, as it
% was when I wrote it.
% End of standard header. What follows pertains to the problem at hand.

\usepackage[italian]{babel} % check compatibility
\usepackage{pdfcomment}

\begin{document}

\begingroup
\showboxbreadth = \maxdimen
\showboxdepth = \maxdimen
\tracingonline = 1

\catcode`\| = 0
\catcode`\< = 1 \catcode`\> = 2
\catcode`\{ = 12
\catcode`\} = 12
\catcode`\\ = 12

|pdftooltip<\\frac{1}{2}-\\sqrt{5}+a^{2}>
|pdftooltip<\frac{1}{2}-\sqrt{5}+a^{2}>

|showlists
|endgroup

\end{document}
`
Si vede perfettamente che, una volta attribuito il [tt]\catcode[/tt] 12 alla barra rovesciata (e, per questo esempio, anche alle due parentesi graffe), quello che causa la comparsa dei caratteri «coreani» (se davvero lo sono) è il puro e semplice fatto che la barra stessa è interpretata come inizio di una sequenza di escape nella conversione a stringa PDF-Unicode (che viene effettuata, credo, dal pacchetto hyperref): infatti il tooltip della parola «Giusto», nel quale la barra viene raddoppiata ([tt]\\[/tt]) in modo da rappresentare sé stessa tramite una sequenza di escape, ha l’aspetto desiderato, mentre quello della parola «sbagliato», in cui manca il raddoppiamento, ha i caratteri «coreani». Si osservi che il regime di [tt]\catcode[/tt] è il medesimo per entrambi.

Ora, [tt]\detokenize{…}[/tt] è un costrutto espandibile che sostituisce la sequenza di token «[tt]…[/tt]» con la sua rappresentazione testuale, nella quale i caratteri usati hanno tutti [tt]\catcode[/tt] = 12, tranne lo spazio che ha il suo solito [tt]\catcode[/tt] = 10; insomma, funziona in modo simile a quello in cui opera un [tt]\write[/tt] (o, se preferite, un [tt]\typeout[/tt]), con l’importantissima differenza che non espande i token espandibili. Insomma, per avere un’idea di quale sia l’espansione di, poniamo
`\detokenize{\frac{1}{2}-\sqrt{5}+a^{2}}`
potete guardare all’output prodotto sul terminale da
`\typeout{\unexpanded{\frac{1}{2}-\sqrt{5}+a^{2}}}`
Si ottiene
`\frac {1}{2}-\sqrt {5}+a^{2}`
Ebbene, questa è anche l’espansione di [tt]\detokenize{…}[/tt], tutta con [tt]\catcode[/tt] = 12 tranne gli spazi, come detto.

Pertanto, il problema si riduce a far sì che, in tale espansione, ogni occorrenza di [tt]\[/tt] venga sostituita con [tt]\\[/tt]. Con un po’ di conoscenza del TeX “a livello macchina”, non è poi così difficile (benché non sia proprio banale) escogitare una soluzione che funzioni in modo sufficientemente generale. Per il momento, propongo la seguente soluzione provvisoria:
`
% My standard header for TeX.SX answers:
\documentclass[a4paper]{article} % To avoid confusion, let us explicitly
% declare the paper format.

\usepackage[T1]{fontenc} % Not always necessary, but recommended.

\usepackage[ascii]{inputenc} % Just to check that the source is still pure,
% 7-bit-clean ASCII when you execute it, as it
% was when I wrote it.
% End of standard header. What follows pertains to the problem at hand.

\usepackage[italian]{babel} % check compatibility
\usepackage{amsmath} % check compatibility
\usepackage{pdfcomment}

\makeatletter

\@ifdefinable\@escaped@backslash{\edef\@escaped@backslash{\detokenize{\\}}}
\begingroup
\lccode`\~`\\
\lowercase{\endgroup \let ~\@escaped@backslash}

\newcommand*\@tooltip@text{} % check availability of name

\newcommand{\pdftool}[1]{%
\begingroup
\let\do\@makeother \dospecials
\catcode`\ 10
\catcode`\\\active
% \showtokens{#1}%
\everyeof{\iffalse{\fi}}%
% \typeout{==> \scantokens\bgroup #1}%
\edef\@tooltip@text{\scantokens\bgroup #1}%
\pdftooltip{#1}{\@tooltip@text}%
\endgroup
}

\makeatother

\begin{document}

Formula con i~\verb|$| dentro al \emph{tooltip}:
\pdftool{$\frac{1}{2}-\sqrt{5}+a^{2}$};
formula con i~\verb|$| fuori dal \emph{tooltip}:
$\pdftool{\frac{1}{2}-\sqrt{5}+a^{2}}$.
E una formula fuori corpo, che usa un ambiente di \textsf{amsmath}:
\begin{gather}
\pdftool{\int_{-\infty}^{+\infty} e^{-x^{2}} = \sqrt{\pi}}\\
\pdftool{e^{x+iy} = e^{x}(\cos y + i\sin y)}
\end{gather}

\begingroup
\showboxbreadth = \maxdimen
\showboxdepth = \maxdimen
\tracingonline = 1
\showlists
\endgroup

\end{document}

`
Lo [tt]\showlists[/tt] incluso alla fine ha, come al solito, il solo scopo di consentirvi di ispezionare i nodi [tt]\pdfannot[/tt] che vengono prodotti. Notate che, nel tooltip, le sequenze di controllo del tipo di [tt]\sqrt[/tt] (control words) sono seguite da uno spazio indipendentemente dal fatto che uno spazio fosse presente anche nel codice originale oppure no: quest’informazione è andata irrimediabilmente perduta quando l’argomento di [tt]\pdftool[/tt] è stato «tokenizzato». Per risolvere questo problema, si può pensare a un altro approccio, affatto diverso, del quale però… parleremo alla prossima puntata! 🙂

Scusate, ma per il momento devo fermarmi qui: quando avrò tempo, modificherò questo messaggio per aggiungervi le spiegazioni relative al funzionamento del codice sopra riportato. Bisogna ammettere che è stato inevitabile far ricorso a qualche virtuosismo TeXnico.

Ciao.

—
Gustavo

Non avevo mai letto la documentazione del pacchetto pdfcomment (e quindi, probabilmente, farei meglio a starmene zitto! 😳 ), ma da quel poco che sono riuscito a capire, ho paura che la faccenda non sia tanto semplice. A pag. 10, il manuale dice che «internally, the argument ⟨comment⟩ needs to be converted to PDFDocEncoding/PDFUnicode» e avverte di sostituire i caratteri «speciali» con i comandi che li rappresentano testualmente (per esempio, [tt]\_[/tt]); e presumo che, anche se sta parlando del comando [tt]\pdfcomment[/tt], queste avvertenze si applichino anche ai comandi successivi. Provo a indovinare: secondo me è proprio nella conversione a stringa Unicode che avviene il pasticcio.

Si consideri il seguente programmino diagnostico:
`
\documentclass{article}
\usepackage{pdfcomment}

\newcommand{\pdftool}[1]{%
\pdftooltip{\ensuremath{#1}}{\detokenize{#1}}%
}

\begin{document}

\pdftool{\frac{1}{2}-\sqrt{5}+a^2}%

\begingroup
\showboxbreadth = \maxdimen
\showboxdepth = \maxdimen
\tracingonline = 1

\catcode`\| = 0
\catcode`\\ = 12
|pdftooltip{Testo}{\\\\}

|showlists
|endgroup

\end{document}
`
(si noti che ho ripulito un po’ il codice, togliendo un [tt]\texttt{…}[/tt] fuori luogo e riposizionando [tt]\ensuremath[/tt]; ciò, tuttavia è risultato essere ininfluente). Il tooltip che viene generato per la parola «Testo» è «\\», e ciò dimostra che il carattere [tt]\[/tt] viene interpretato come inizio di una sequenza di escape anche quando ha [tt]\catcode[/tt] = 12, deponendo a favore del fatto che il problema stia appunto nella conversione a stringa Unicode e non nel [tt]\detokenize[/tt].

Nel transcript file si possono vedere esattamente quali nodi [tt]\pdfannot[/tt] vengono generati: quello della formula matematica è
`
.\pdfannot(9.07217+3.44841)x53.93579{/Subtype /Widget /TU (\376\377\fra\000c\000\040\000{\0001\000}\000{\0\ETC.}
`
mentre quello per la parola «Testo» è
`
.\pdfannot(6.83331+0.0)x23.66669{/Subtype /Widget /TU (\\\\) /T (tooltip zref@1) /C [ ] /FT/Btn /F 768\ETC.}
`
Nel primo mi sembra di riconoscere delle sequenze di escape della codifica UTF-8; ma non me ne intendo.

Ciao.

—
Gustavo