Folgepfeil

Der Folgepfeil ist ein doppelter Pfeil nach rechts, links oder auf beide Seiten. Er ist die mathematische Notation für einen logischen Schluss.

⇒ ⇔ ⇐
Mathematische Zeichen
Arithmetik
Pluszeichen	+
Minuszeichen	−, ⁒
Malzeichen	⋅, ×
Geteiltzeichen	:, ÷, /
Plusminuszeichen	±, ∓
Vergleichszeichen	<, ≤, =, ≥, >
Wurzelzeichen	√
Prozentzeichen	%
Analysis
Summenzeichen	Σ
Produktzeichen	Π
Differenzzeichen, Nabla	∆, ∇
Prime	′
Partielles Differential	∂
Integralzeichen	∫
Verkettungszeichen	∘
Unendlichzeichen	∞
Geometrie
Winkelzeichen	∠, ∡, ∢, ∟
Senkrecht, Parallel	⊥, ∥
Dreieck, Viereck	△, □
Durchmesserzeichen	⌀
Mengenlehre
Vereinigung, Schnitt	∪, ∩
Differenz, Komplement	∖, ∁
Elementzeichen	∈
Teilmenge, Obermenge	⊂, ⊆, ⊇, ⊃
Leere Menge	∅
Logik
Folgepfeil	⇒, ⇔, ⇐
Allquantor	∀
Existenzquantor	∃
Konjunktion, Disjunktion	∧, ∨
Negationszeichen	¬

Verwendung

Der Folgepfeil ist das mathematische Symbol für „daraus folgt“, die logische Schlussfolgerung.^[1] Er stellt eine logische Verknüpfung dar: Das Symbol wird eingesetzt, wenn aus etwas Richtigem ein richtiger, aus etwas Falschem ein falscher oder aus etwas Falschem ein richtiger Schluss gezogen wird. Niemals darf er jedoch verwendet werden, um aus etwas Richtigem etwas Falsches zu folgern.

x ist durch 4 teilbar ⇒ x ist durch 2 teilbar ⇒ x ist gerade

(hier ein transitiver Schluss, daraus folgt auch direkt x ist durch 4 teilbar ⇒ x ist gerade)

Natürlich kann man die Folgerungen jederzeit umstellen („folgt aus“), und verwendet dann ⇐ (Folgepfeil links). Außerdem kann man für wechselseitige Schlussfolgerungen (Äquivalenzrelationen) den Pfeil ⇔ setzen, und spricht „folgt wechselseitig“ oder „folgt äquivalent“:

4 mal x ist 8 ⇔ 8 durch 4 ist x

Beide Aussagen beschreiben denselben Sachverhalt, nur anders formuliert: Sie sind austauschbar.

Folgt eine Aussage aus einer anderen nicht, verwendet man „daraus folgt nicht“ ⇏ durchgestrichen. Auch hier gibt es ⇎ „daraus folgt nicht äquivalent“ – was aber keine Aussage trifft, ob nicht die Schlussfolgerung in einer Richtung korrekt ist:

x ist durch 4 teilbar ⇎ x ist durch 2 teilbar

mit dem ersten Beispiel, weil man aus x gerade nicht folgern kann, dass x durch 4 teilbar ist, sondern nur, dass es durch 2 teilbar ist: Die Aussagen „gerade“ und „durch 2 teilbar“ sind äquivalent.

In den verschiedenen Teilgebieten und für präzisere Aussagen gibt es zahlreiche speziellere Abwandlungen dieser Pfeilsymbolik.

Textverarbeitung und Satz

Der Pfeil kann auch mit => (Gleichheitszeichen und Größerzeichen) dargestellt werden, und wird in einigen Editoren nach der Eingabe umgewandelt.

In Unicode befinden sich die mathematischen Folgepfeile im Unicodeblock Pfeile (Pfeile, 2190–21FF), und zwar an den Codepoints:

Bezeichnung	Zeichen	HEX-Code
RIGHTWARDS DOUBLE ARROW	⇒	0x21d2 U+21D2
LEFTWARDS DOUBLE ARROW	⇐	0x21d0 U+21D0
LEFT RIGHT DOUBLE ARROW	⇔	0x21d4 U+21D4
RIGHTWARDS DOUBLE ARROW WITH STROKE	⇏	0x21d0 U+21CF
LEFTWARDS DOUBLE ARROW WITH STROKE	⇍	0x21d2 U+21CD
LEFT RIGHT DOUBLE ARROW WITH STROKE	⇎	0x21d4 U+21CE

Außerdem gibt es dieselben Pfeile nach oben und unten, was man in Flussdiagramm-artigem Satz verwenden kann (im selben Block), sowie in verlängerter Form, wenn das im Satz notwendig ist (im Unicodeblock Zusätzliche Pfeile-A 27F0–27FF)

In TeX werden sie als \Leftarrow und \Rightarrow und \Leftrightarrow (mit dem Großbuchstaben in ausdrücklicher Unterscheidung zum einfachen Pfeil) beziehungsweise \nLeftarrow, \nRightarrow, \nLeftrightarrow (mit vorangestelltem kleinen „n“ für Negation) gesetzt. Auch hier gibt es etliche Varianten:

Syntax Ergebnis \circlearrowleft \circlearrowright ${\displaystyle \circlearrowleft \circlearrowright }$ \curvearrowleft \curvearrowright ${\displaystyle \curvearrowleft \curvearrowright }$ \downarrow \uparrow ${\displaystyle \downarrow \uparrow }$ \downdownarrows \upuparrows ${\displaystyle \downdownarrows \upuparrows }$ \Downarrow \Uparrow ${\displaystyle \Downarrow \Uparrow }$ \hookleftarrow \hookrightarrow ${\displaystyle \hookleftarrow \;\hookrightarrow }$ \leftarrow \rightarrow ${\displaystyle \leftarrow \;\rightarrow }$ \Leftarrow \Rightarrow ${\displaystyle \Leftarrow \;\Rightarrow }$ \leftarrowtail \rightarrowtail ${\displaystyle \leftarrowtail \rightarrowtail }$ \leftharpoondown \rightharpoondown ${\displaystyle \leftharpoondown \;\rightharpoondown }$ \leftharpoonup \rightharpoonup ${\displaystyle \leftharpoonup \;\rightharpoonup }$ \leftleftarrows \rightrightarrows ${\displaystyle \leftleftarrows \rightrightarrows }$ \leftrightarrow \Leftrightarrow ${\displaystyle \leftrightarrow \Leftrightarrow }$ \leftrightarrows \rightleftarrows ${\displaystyle \leftrightarrows \rightleftarrows }$ \leftrightharpoons \rightleftharpoons ${\displaystyle \leftrightharpoons \rightleftharpoons }$

Syntax Ergebnis \leftrightsquigarrow \rightsquigarrow ${\displaystyle \leftrightsquigarrow \rightsquigarrow }$ \Lleftarrow \Rrightarrow ${\displaystyle \Lleftarrow \Rrightarrow }$ \longleftarrow \longrightarrow ${\displaystyle \longleftarrow \longrightarrow }$ \Longleftarrow \Longrightarrow ${\displaystyle \Longleftarrow \Longrightarrow }$ \longleftrightarrow ${\displaystyle \longleftrightarrow }$ \Longleftrightarrow ${\displaystyle \Longleftrightarrow }$ \longmapsto \mapsto ${\displaystyle \longmapsto \mapsto }$ \looparrowleft \looparrowright ${\displaystyle \looparrowleft \;\looparrowright }$ \Lsh \Rsh ${\displaystyle \Lsh \;\Rsh }$ \multimap ${\displaystyle \multimap }$ \nearrow \nwarrow \searrow \swarrow ${\displaystyle \nearrow \nwarrow \searrow \swarrow }$ \nLeftarrow \nRightarrow ${\displaystyle \nLeftarrow \;\nRightarrow }$ \nleftrightarrow \nLeftrightarrow ${\displaystyle \nleftrightarrow \nLeftrightarrow }$ \restriction ${\displaystyle \upharpoonright }$ \twoheadleftarrow \twoheadrightarrow ${\displaystyle \twoheadleftarrow \;\twoheadrightarrow }$ \updownarrow \Updownarrow ${\displaystyle \updownarrow \;\Updownarrow }$

Siehe auch

• Implikation
• Pfeil (Symbol)
• Bikonditional (⇔)