Pfeil mit doppeltem Balken

[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

[localghost]

[…] 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

[guy.brush™]

Rein aus Interesse: Was soll dieser Pfeil bedeuten und wo findet er dann seine Anwendung?

[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

[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?

[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}

[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?