У меня есть следующий код
\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}
и по какой-то причине 2 стрелки имеют разные начальные точки по горизонтали. Я пробовал сделать вторую строку узлом и добавить cells={nodes={anchor=east}}
, но проблема осталась. Есть идеи, как это исправить? Также очень странная проблема, потому что если я удаляю несколько символов из второй строки, кажется, что поведение срабатывает так, как и предполагалось.
Редактировать: Исправлено несоответствие, на которое указала Марийн.
решение1
Вы можете использовать другие якоря, отличные от центра по умолчанию.
Я также удалил все \,
команды и использовал \mid
; чтобы улучшить ужасный вывод \not\downarrow
, я использовал \centernot
.
Примечание: в термине слева есть несимметричная скобка. Исправьте ее.
\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}