다음 코드가 있습니다
\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}}
문제가 지속됩니다. 이 문제를 해결하는 방법을 아시나요? 또한 두 번째 행에서 몇 개의 문자를 삭제하면 의도한 동작이 있는 것처럼 보이기 때문에 매우 이상한 문제입니다.
편집: Marijn이 지적한 불일치 수정
답변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}