Hallo,
ich suche genaue interne Definitionen von folgenden Befehlen:
\mid
\Rightarrow
\Leftarrow
\Leftrightarrow
\mathrel
\mathbin
\mathop
Der Grund ist, dass ich gerne die genauen Abstände links und rechts, die jeweils eingefügt werden, kennen würde. In welchen Dateien finde ich die? (Allgemein würde mich interessieren, wo ich solche Definitionen von so Standardbefehlen finde.)
2 Gründe, warum ich das so suche: Erstens würde ich gerne einmal folgendes etwas sauberer definieren:
\newcommand{\Mid}{\;\middle|\;}
Ich vermute, dass \mid intern etwa wie folgt definiert ist:
\newcommand{\mid}{\mathrel{\vert}}
Allerdings bin ich mir da nicht sicher.
Ebenso würde ich mir gerne analog zu \Rightarrow, \implies und Co. Pfeile definieren, die
nur rechts den entsprechenden Platz einfügen wie ihre Verwandten mit links und rechts Platz. Der Grund ist einfach: Dazu betrachte man das folgende Minimalbeispiel:
\documentclass[a4paper,11pt]{scrartcl}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\newcommand{\impliesy}{\DOTSB{\Longrightarrow}\;}
\newcommand{\impliesyy}{\DOTSB\Longrightarrow\;}
\newcommand{\impliedbyy}{\DOTSB{\Longleftarrow}\;}
\newcommand{\iffy}{\DOTSB{\Longleftrightarrow}\;}
\begin{document}
\begin{align*}
&a = b\\
&b = c\\
&\Rightarrow a = b\\
&\mathrel{{\Rightarrow}} a = b\\
&\implies a = b\\
&\impliesy a = b\\
&\impliesyy a = b\\
&{\implies} a = b
\end{align*}
\end{document}
Wenn ich also ein derartiges Symbol ganz links in einer Gleichung stehen habe, fügt er nach links trotzdem Platz ein, was bspw. bei
\begin{gather*}
a = b\\
\implies b = a
\end{gather*}
etwas doof ist, da die untere Zeile dadurch um ein bisschen nach rechts verschoben wird (zugegeben, nur minimal, aber man will ja perfektionistisch sein^^).
Die \impliesy etc. Definitionen sind abgewandelte Formen im Vergleich dazu, wie sie in amsmath.sty definiert sind. Was "\DOTSB" heißt, weiß ich nicht, ich habe es einfach einmal übernommen. (Weiß das zufällig wer und kann es erklären?) Das "y" steht dahinter, weil mir kein sinnvollerer Name eingefallen ist
.
Viele Grüße,
\\ guy.brush