7.2 Definierte Pfeile
%::o Pfeil nach rechts mit einfachem Schaft und einfacher Spitze
%9:: Pfeil nach links mit einfachem Schaft und einfacher Spitze
%9::o Pfeil nach links und rechts mit einfachem Schaft und einfachen Spitzen
%==o Pfeil nach rechts mit doppeltem Schaft und einfacher Spitze (Implikationspfeil)
%9== Pfeil nach links mit doppeltem Schaft und einfacher Spitze
%9==o Pfeil nach links und rechts mit doppeltem Schaft und einfachen Spitzen (Äquivalenzpfeil)
%,,o  Pfeil nach rechts mit gestricheltem Schaft und einfacher Spitze
%9,,  Pfeil nach links mit gestricheltem Schaft und einfacher Spitze
%9,,o  Pfeil nach links und rechts mit gestricheltem Schaft und einfachen Spitzen
Die Wiedergabe als definierter Pfeil eignet sich vor allem dort, wo der Pfeil als Operations- oder Relationszeichen einen mathematischen Ausdruck unterteilt. Pfeile als Markierung oder Zusatz an einem Symbol sind im Allgemeinen besser mit modularen Pfeilen darzustellen.
Definierte Pfeile sind generell zwischen Leerzeichen zu setzen. Ausnahmen bestehen dort, wo benachbarte Symbole dies nicht zulassen (etwa Klammern). Für Pfeilbeschriftungen siehe "7.3 Beschriftung von Pfeilen".
Beispiel 7.2 B01
#a -#a8x =#j 9==o #a8x =#a'
9==o x =#a
\[1 -\frac{1}{x} =0 \Leftrightarrow
\frac{1}{x} =1 \Leftrightarrow x =1\]
Beispiel 7.2 B02
g #.h ==o a:,1g )a:,1h =#j
\[g \perp h \Rightarrow \vec{a}_{g} \circ \vec{a}_{h} =0\]
| 