/Longrightarrow

Problemstellung

Wählt man in LaTeX anstatt der 10pt Schrift eine 12pt Schrift (Computer Modern), so kann man feststellen, dass der \Longrightarrow nicht wirklich gut dargestellt wird. Je nach verwendetem Previewer sieht man, dass der Doppelstrich des Pfeils nicht überall gleich aussieht. Je nach dem sind Stufen oder ein Knick bei einem oder bei beiden Strichen feststellbar. Dieses Phänomen tritt sowohl bei xdvi als auch in Dokumenten auf, die in ps- bzw. pdf-Dateien umgewandelt wurden.

Erklärung

In LaTex wird der \Longrightarrow aus zwei Zeichen zusammengesetzt. Einerseits aus dem Zeichen \Rightarrow und andererseits aus dem Gleichheitszeichen. Die beiden Zeichen werden für die 10pt Schrift aus verschiedenen Zeichensätzen entnommen: \Rightarrow aus cms10, das Gleichheitszeichen aus cmr10. Die beiden Zeichensätze sind so gestaltet, dass die beiden Zeichen zusammenpassen. Wählt man 12pt Schrift, so besteht zwar cmr12 für gewöhnliche Zeichen, aber nicht cms12 für Symbole. Stattdessen wird für Symbole der Zeichensatz cms10 mit dem Faktor 1.2 skaliert, wodurch im Prinzip auch ein 12pt Zeichensatz verfügbar ist. Leider passen nun \Rightarrow und Gleichheitszeichen nicht mehr zusammen, was zu den erwähnten Effekten führt.

Lösung

Statt dem Befehl \Longrightarrow verwende man den folgenden Befehl:

\newcommand{\aLR}{
\font\eqfont=cmr10 scaled 1200
\font\arrfont=cmsy10 scaled 1200
\textfont0=\eqfont
\textfont2=\arrfont
\protect\Relbar\protect\joinrel\Rightarrow}

Wir ersetzen hier das Gleichheitszeichen aus cmr12 ebenfalls durch das skalierte Gleichheitszeichen aus cmr10.

Bemerkung

Wir haben zwar den neuen Befehl unter verschiedenen Previewern ausgetestet und es scheint, als ob das Resultat befriedigend ist. Wir konnten bis jetzt keine Konstellation feststellen, unter der der Pfeil die von \Longrightarrow bekannten Effekte aufweist. Natürlich konnten wir nicht alle möglichen Varianten ausprobieren, so dass es möglich, dass Seiteneffekte auftreten oder es Situationen geben kann, in denen der neue Befehl nicht funktioniert.

[Home]

This Page Is Valid HTML 4.01 Strict!

This Page Is Valid CSS version 2.0

This Page is made with Cascading Style Sheets

last update 11.10.2005/12.57 MESZ