☰

xdvi -copy fehlt eine Schriftart

tag-icon • tag-icon xdvi
xdvi -copy fehlt eine Schriftart

Ich habe eine Tex-Datei 'file.tex', die die Zeile enthält

    \raisebox{-1pt}{\textcircled{\raisebox{-.9pt} {1}}}

Dies zeigt die Ziffer 1 in einem Kreis an. Nach Latex xdvi -copy file.dvigibt der Befehl einen leeren Kreis ohne Ziffer aus. xdvi file.dviDie Ziffer 1 wird jedoch korrekt angezeigt. Mein Problem ist, dass ich die -copyOption brauche, da die Datei.tex über 900 Seiten mit viel Mathematik, Hyperlinks und Diagrammen ausgibt. Das Laden würde ohne die Option -copy zu lange dauern. Ich habe keine anderen Probleme mit der Ausgabe von xdvi -copy file.dvi.

Ich verwende Debian und mein xdvi ist Teil von texlive-2019. Ich könnte versuchen, auf die neueste Version von texlive zu aktualisieren, aber ich hätte lieber eine schnellere Lösung.

Antwort1

Aus der Manpage von xdvi:

-copy  (.copy)  Always use the copy operation when writing characters to the dis-
       play.  This option may be necessary for correct operation on a color  dis-
       play,  but  overstrike  characters  will be incorrect.  If greyscale anti-
       aliasing is in use, the -copy operation will disable  the  use  of  color-
       planes and make overstrikes come out incorrectly.  See also -thorough.

Mit Überstreichen ist das Drucken von Zeichen übereinander gemeint, was bei der Fall ist \textcircled. Dies ist also dokumentiert. Verwenden Sie nicht -copy.

verwandte Informationen