Seite 1 von 1
Pfeil mit doppeltem Balken
Verfasst: So 11. Dez 2011, 17:44
von MayaB.
Hallo,
ich möchte einen Pfeil mit "doppeltem Balken" erstellen. Bitte schaut auch das angehängte Bild an
Wäre super, wenn mir jemand dafür den Befehl sagen könnte.
Danke,
Maya
Neuer Befehl
Verfasst: Di 13. Dez 2011, 17:53
von localghost
MayaB. hat geschrieben:[…] Wäre super, wenn mir jemand dafür den Befehl sagen könnte. […]
Da es einen solchen Befehl nicht gibt, kann ihn dir auch niemand nennen. Da musst Du dir schon selber einen definieren.
\documentclass[11pt]{article}
\usepackage[T1]{fontenc}
\newcommand*{\dbdownarrow}{% % double bar downarrow
\vbox{%
\hrule height0.5pt
\kern1.5pt
\hrule height0.5pt
\hbox{
\kern-0.25em
\ensuremath{\downarrow}
\kern-0.25em
}
}
}
\begin{document}
Text \dbdownarrow Text
\end{document}
Funktioniert im Text- und Mathematik-Modus.
Thorsten
Verfasst: Di 13. Dez 2011, 20:01
von guy.brush™
Rein aus Interesse: Was soll dieser Pfeil bedeuten und wo findet er dann seine Anwendung?
Verfasst: Mi 14. Dez 2011, 18:00
von MayaB.
@localghost:
Uh, wow, da wäre ich nie drauf gekommen
Verstehe es auch nicht alles richtig, aber jedenfalls funktioniert es! Vielen, vielen Dank!
@guy.brush:
Der Pfeil wird in dem Paper: "The Size-Change Principle for Program Termination verwendet" und markiert eine Kante, bei der Sink nicht größer als Source sein darf
Verfasst: Mi 14. Dez 2011, 18:43
von MayaB.
hmmm....wäre es eventuell doch möglich, den ersten (oberen) Strich unter den zweiten zu setzen? So dass der Strich des Pfeils auch zwischen den beiden Balken besteht?
Klar!
Verfasst: Mi 14. Dez 2011, 19:39
von localghost
Das geht auch. Mit etwas "negativem" vertikalen Abstand lässt sich der Pfeil zwischen die beiden Balken rücken.
\documentclass[11pt]{article}
\usepackage[T1]{fontenc}
\newcommand*{\dbdownarrow}{% % double bar downarrow
\vbox{%
\hrule height0.5pt
\kern1.5pt
\hrule height0.5pt
\kern-0.45ex
\hbox{
\kern-0.25em
\ensuremath{\downarrow}
\kern-0.25em
}
}
}
\begin{document}
Text \dbdownarrow Text
\end{document}
Verfasst: Mi 14. Dez 2011, 20:24
von MayaB.
jep, perfekt!
Das einzige, was mir jetzt noch auffällt, ist, dass es einen Größenunterschied zwischen \downarrow und \dbdownarrow gibt, wenn ich beispielsweise folgendes schreibe:
$x \stackrel{\dbdownarrow}{\to} y \stackrel{\downarrow}{\to} z$
ich fürchte da kann man jetzt nicht viel machen?
