Ich habe den folgenden Code
\begin{tikzcd}[row sep=tiny]
& (\nu d,\, e)(\bar{b} \langle e \rangle \,|\,\bar{d}) \not\downarrow_c \\
(\nu d,\, e)\bar{b} \langle d \rangle \,|\, \bar{b} \langle e \rangle \,|\, b(x).\bar{x} \arrow[ur] \arrow[dr] & \\
& (\nu d,\, e)(\bar{b} \langle d \rangle \,|\,\bar{e}) \not\downarrow_c \\
\end{tikzcd}
und aus irgendeinem Grund haben die beiden Pfeile horizontal unterschiedliche Startpunkte. Ich habe versucht, die zweite Reihe zu einem Knoten zu machen und hinzuzufügen cells={nodes={anchor=east}}
, aber das Problem besteht weiterhin. Irgendeine Idee, wie man das beheben kann? Auch ein sehr seltsames Problem, denn wenn ich ein paar Zeichen aus der zweiten Reihe lösche, scheint das beabsichtigte Verhalten einzutreten.
Bearbeiten: Inkonsistenz behoben, auf die Marijn hingewiesen hat
Antwort1
Sie können andere Anker als den Standardmittelpunkt verwenden.
Ich habe außerdem alle \,
Befehle entfernt und verwendet \mid
; um die schreckliche Ausgabe von zu verbessern \not\downarrow
, habe ich verwendet \centernot
.
Hinweis: Im linken Term befindet sich eine ungleichmäßige Klammer. Korrigieren Sie das Problem.
\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}
\usepackage{centernot}
\begin{document}
\[
\begin{tikzcd}[row sep=tiny]
& (\nu d, e)(\bar{b} \langle e \rangle \mid \bar{d}) \mathrel{\centernot\downarrow}_c \\
(\nu d, e)(\bar{b} \langle d \rangle \mid \bar{b} \langle e \rangle \mid b(x).\bar{x}
\arrow[ur,start anchor=north east,end anchor=base west]
\arrow[dr,start anchor=south east,end anchor=real west] &
\\
& (\nu d, e)(\bar{b} \langle d \rangle \mid \bar{e}) \mathrel{\centernot\downarrow}_c \\
\end{tikzcd}
\]
\end{document}